14 lines
575 B
Diff
14 lines
575 B
Diff
diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
|
|
index bba7667..ab046cc 100644
|
|
--- a/checkpolicy/policy_scan.l
|
|
+++ b/checkpolicy/policy_scan.l
|
|
@@ -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); }
|