]> rtime.felk.cvut.cz Git - omk.git/blobdiff - omk-alias.sh
OMK shell alias replaced with a shell script
[omk.git] / omk-alias.sh
diff --git a/omk-alias.sh b/omk-alias.sh
deleted file mode 100644 (file)
index c525a20..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alias omk='_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'