diff options
Diffstat (limited to 'src/dev/nodedev.cil')
| -rw-r--r-- | src/dev/nodedev.cil | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dev/nodedev.cil b/src/dev/nodedev.cil index b681759..8a01e70 100644 --- a/src/dev/nodedev.cil +++ b/src/dev/nodedev.cil @@ -3,14 +3,14 @@ (block nodedev + (macro mounton_all_chr_files ((type ARG1)) + (allow ARG1 typeattr mounton_chr_file)) + (macro type ((type ARG1)) (typeattributeset typeattr ARG1)) (typeattribute typeattr) - (macro mounton_all_chr_files ((type ARG1)) - (allow ARG1 typeattr mounton_chr_file)) - (blockinherit .file.all_macro_template_chr_files) (call .dev.type (typeattr)) |