From 34899447cc627f9c4ecc929863ee41f48baefea0 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Thu, 29 Jan 2009 13:26:56 +0100
Subject: [PATCH] OMK shell alias replaced with a shell script

The advantage of the script over alias is that it can be run from other
programs (e.g. editors).
---
 omk          | 18 ++++++++++++++++++
 omk-alias.sh |  1 -
 2 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100755 omk
 delete mode 100644 omk-alias.sh

diff --git a/omk b/omk
new file mode 100755
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 "$@"
diff --git a/omk-alias.sh b/omk-alias.sh
deleted file mode 100644
index c525a20..0000000
--- a/omk-alias.sh
+++ /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'
-- 
2.39.2