Merge branch 'devel' of sojka@rtime.felk.cvut.cz:/var/git/omk into devel

diff --git a/snippets/base b/snippets/base
index bb1af3b2ed2ff678ff5e7f06a641f0c77dce2a06..c782cfec68fddb078f19da66bda10de5d3d9df3e 100644 (file)
--- a/snippets/base
+++ b/snippets/base
@@ -282,3 +282,6 @@ omkize:
              cp -v Makefile "$${d}/Makefile"; \
           fi \
        done
+# Local Variables:
+# mode:makefile-gmake
+# End:

diff --git a/snippets/linux b/snippets/linux
index 2be4bea0fd2009cded3c755119c8fff3fb736699..4b0d1358966e047bb96d43e7b2c185504d538687 100644 (file)
--- a/snippets/linux
+++ b/snippets/linux
@@ -851,5 +851,5 @@ default: kernel-lib-pass kernel-pass
 endif
 
 # Local Variables:
-# mode:makefile
+# mode:makefile-gmake
 # End: