Merge branch 'devel-cherrypick'

[omk.git] / snippets / rtems.omk

diff --git a/snippets/rtems b/snippets/rtems.omk
similarity index 99%
rename from snippets/rtems
rename to snippets/rtems.omk
index 2ab968bd9975b40bd20142ed48d217ecd0f1ddc7..ad5d47f4a6c069bc84268a569fc884c690320df1 100644 (file)
--- a/snippets/rtems
+++ b/snippets/rtems.omk
@@ -351,7 +351,3 @@ clean-local:
 
 
 default: include-pass library-pass binary-pass
-
-# Local Variables:
-# mode:makefile
-# End: