From f136c1a5e5ce82f05e91038bcebc62037efda12b Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Wed, 23 Aug 2023 11:17:01 +0200 Subject: Tree-wide: various fixes and clean-ups Signed-off-by: Dominick Grift --- src/dev/nodedev.cil | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/dev/nodedev.cil') 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)) -- cgit v1.2.3