14 lines
570 B
Diff
14 lines
570 B
Diff
diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
|
|
index e767b5f..143e797 100644
|
|
--- a/checkpolicy/policy_scan.l
|
|
+++ b/checkpolicy/policy_scan.l
|
|
@@ -234,7 +234,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); }
|