]> rtime.felk.cvut.cz Git - omk.git/blobdiff - omk
Merge branch 'master' into devel
[omk.git] / omk
diff --git a/omk b/omk
new file mode 100755 (executable)
index 0000000..89e66cb
--- /dev/null
+++ b/omk
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+# Helper script to run OMK from directories without the leaf OMK Makefile
+
+omk_rules=$(
+old_pwd=""
+while [ ! -e Makefile.rules ]; do
+       if [ "$old_pwd" = `pwd`  ]; then 
+              echo "Makefile.rules has not been found in this or parent directory" >&2; exit 1; 
+       else
+              old_pwd=`pwd`; 
+              cd -L .. 2>/dev/null; 
+       fi; 
+done; 
+echo `pwd`/Makefile.rules
+)
+
+[ "$omk_rules" ] && make -f $omk_rules "$@"