changeset 507:f0ee1a65f053

Switch to bash for better performance.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Thu, 26 Jul 2012 15:11:21 +0300
parents fafbbafff9ee
children 2693ed71886a
files misc/mymake.sh
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/misc/mymake.sh	Fri Jul 13 10:44:24 2012 +0300
+++ b/misc/mymake.sh	Thu Jul 26 15:11:21 2012 +0300
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 opt=
 for arg; do
@@ -11,13 +11,13 @@
   esac
 done
 
-if [ -z "$fname" ]; then
+if [[ -z "$fname" ]]; then
   fname=Makefile
 fi
 
 dir="$PWD"
-while [ -n "$dir" ]; do
-  if [ -f "$dir"/"$fname" ]; then
+while [[ -n "$dir" ]]; do
+  if [[ -f "$dir"/"$fname" ]]; then
     cd "$dir"
     make "$@"
     exit 0