2
0
mirror of https://gitlab.com/apparmor/apparmor synced 2025-08-22 01:57:43 +00:00

allow external hats to begin with ^

This commit is contained in:
John Johansen 2008-11-07 12:54:52 +00:00
parent 6c39288cec
commit 8db35802f9

View File

@ -206,7 +206,7 @@ profilelist: profilelist profile
opt_profile_flag: { /* nothing */ $$ = 0; }
| TOK_PROFILE { $$ = 1; }
| TOK_HAT { $$ = 2; }
| hat_start { $$ = 2; }
profile: opt_profile_flag TOK_ID flags TOK_OPEN rules TOK_CLOSE
{