Checkpolicy patch to allow version of single digit.

[Daniel J Walsh <dwalsh@redhat.com>]

[-- Attachment #1: Type: text/plain, Size: 472 bytes --]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Currently policy will not build if I define a module as 1

policy_module(dan,1) Fails


policy_module(dan,1.0) works

The attached patch makes the first one work.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/

iEYEARECAAYFAk0SVRMACgkQrlYvE4MpobPxtwCgl8LkinM6WrJdz1UIqMmJJHlE
URoAnA1iXReaVdA8Tjk9PRoZjK+CZn96
=Pamv
-----END PGP SIGNATURE-----

[-- Attachment #2: checkpolicy-rhat.patch --]
[-- Type: text/plain, Size: 647 bytes --]

diff --exclude-from=exclude -N -u -r nsacheckpolicy/policy_parse.y checkpolicy-2.0.22/policy_parse.y
--- nsacheckpolicy/policy_parse.y	2010-05-19 14:45:51.000000000 -0400
+++ checkpolicy-2.0.22/policy_parse.y	2010-06-16 08:08:37.000000000 -0400
@@ -755,6 +755,8 @@
                         ;
 version_identifier      : VERSION_IDENTIFIER
                         { if (insert_id(yytext,0)) return -1; }
+			| number
+                        { if (insert_id(yytext,0)) return -1; }
                         | ipv4_addr_def /* version can look like ipv4 address */
                         ;
 avrules_block           : avrule_decls avrule_user_defs

[-- Attachment #3: checkpolicy-rhat.patch.sig --]
[-- Type: application/pgp-signature, Size: 72 bytes --]