File checkpolicy-allow_semicolon_in_filename.patch of Package checkpolicy.openSUSE_13.1_Update

Index: checkpolicy-2.1.12/policy_scan.l
===================================================================
--- checkpolicy-2.1.12.orig/policy_scan.l	2013-11-21 14:50:26.346253083 +0100
+++ checkpolicy-2.1.12/policy_scan.l	2013-11-21 14:51:14.216776160 +0100
@@ -240,7 +240,7 @@ HIGH				{ return(HIGH); }
 low |
 LOW				{ return(LOW); }
 "/"({alnum}|[_\.\-/])*	        { return(PATH); }
-\"({alnum}|[_\.\-\+\~ ])+\"	{ return(FILENAME); }
+\"({alnum}|[_\.\-\+\~\: ])+\"	{ return(FILENAME); }
 {letter}({alnum}|[_\-])*([\.]?({alnum}|[_\-]))*	{ return(IDENTIFIER); }
 {alnum}*{letter}{alnum}*        { return(FILESYSTEM); }
 {digit}+|0x{hexval}+            { return(NUMBER); }