Blame checkpolicy-rhat.patch
|
Dan Walsh |
c66266 |
diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
|
|
Dan Walsh |
96a762 |
index bba7667..ab046cc 100644
|
|
Dan Walsh |
c66266 |
--- a/checkpolicy/policy_scan.l
|
|
Dan Walsh |
c66266 |
+++ b/checkpolicy/policy_scan.l
|
|
Dan Walsh |
7a5e44 |
@@ -240,7 +240,7 @@ HIGH { return(HIGH); }
|
|
Dan Walsh |
7a5e44 |
low |
|
|
Dan Walsh |
7a5e44 |
LOW { return(LOW); }
|
|
Dan Walsh |
7a5e44 |
"/"({alnum}|[_\.\-/])* { return(PATH); }
|
|
Dan Walsh |
7a5e44 |
-\"({alnum}|[_\.\-\+\~])+\" { return(FILENAME); }
|
|
Dan Walsh |
96a762 |
+\"({alnum}|[_\.\-\+\~\: ])+\" { return(FILENAME); }
|
|
Dan Walsh |
7a5e44 |
{letter}({alnum}|[_\-])*([\.]?({alnum}|[_\-]))* { return(IDENTIFIER); }
|
|
Dan Walsh |
7a5e44 |
{alnum}*{letter}{alnum}* { return(FILESYSTEM); }
|
|
Dan Walsh |
7a5e44 |
{digit}+|0x{hexval}+ { return(NUMBER); }
|