2013-01-05 12:09:43 +00:00
|
|
|
diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
|
2013-03-12 12:43:39 +00:00
|
|
|
index bba7667..f82c93b 100644
|
2013-01-05 12:09:43 +00:00
|
|
|
--- a/checkpolicy/policy_scan.l
|
|
|
|
+++ b/checkpolicy/policy_scan.l
|
2013-03-12 12:43:39 +00:00
|
|
|
@@ -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); }
|