deleted file mode 100644
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-js tools/koralle.js > makefile && make $@ ; rm makefile
@@ -1,4 +1,4 @@
#!/bin/bash
-python genmake.py > makefile && make $@
+js tools/koralle.js > makefile && make $@ ; rm makefile
new file mode 100644
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+python genmake.py > makefile && make $@