aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDan Walsh <dwalsh@redhat.com>2013-10-09 14:27:20 -0400
committerStephen Smalley <sds@tycho.nsa.gov>2013-10-24 13:58:37 -0400
commit4d2dd334114d12623c1249fc07463714b6151873 (patch)
tree06cfc33378f925cdb041081533c567a77b550a67
parentf44a218e5c565d88cb7391ad059aba9547b8b73f (diff)
downloadandroid_external_selinux-4d2dd334114d12623c1249fc07463714b6151873.tar.gz
android_external_selinux-4d2dd334114d12623c1249fc07463714b6151873.tar.bz2
android_external_selinux-4d2dd334114d12623c1249fc07463714b6151873.zip
Allow " " and ":" in file name transtions
We have added a couple of file name transtitions that required a space and a colon.
-rw-r--r--checkpolicy/policy_scan.l2
1 files changed, 1 insertions, 1 deletions
diff --git a/checkpolicy/policy_scan.l b/checkpolicy/policy_scan.l
index bba76672..ab046ccd 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); }