changeset 508:2693ed71886a

Exit before make call.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Thu, 26 Jul 2012 15:12:25 +0300
parents f0ee1a65f053
children d9788362c505
files misc/mymake.sh
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/misc/mymake.sh	Thu Jul 26 15:11:21 2012 +0300
+++ b/misc/mymake.sh	Thu Jul 26 15:12:25 2012 +0300
@@ -19,8 +19,7 @@
 while [[ -n "$dir" ]]; do
   if [[ -f "$dir"/"$fname" ]]; then
     cd "$dir"
-    make "$@"
-    exit 0
+    exec make "$@"
   fi
   dir=${dir%/*}
 done