Merge branch 'devel-cherrypick'

[omk.git] / snippets / vxworks.omk

diff --git a/snippets/vxworks b/snippets/vxworks.omk
similarity index 99%
rename from snippets/vxworks
rename to snippets/vxworks.omk
index 988286b9a4f8c4faafd9cbf605866d5acc4bca89..6b4bbbfb24cb3e41555d906527c592198f5c0a2b 100644 (file)
--- a/snippets/vxworks
+++ b/snippets/vxworks.omk
@@ -208,7 +208,3 @@ check-dir::
 
 
 default: include-pass library-pass binary-pass
-
-# Local Variables:
-# mode:makefile
-# End: