bash=>sh
authorGengbin Zheng <gzheng@illinois.edu>
Wed, 15 Jun 2011 20:49:14 +0000 (15:49 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Wed, 15 Jun 2011 20:49:14 +0000 (15:49 -0500)
src/scripts/commitid.sh

index ab5ae5939bfce3423a101f5b894d08c20da0d936..ad3ab925deca814afb9aca612a0bfbc22d1f8d46 100755 (executable)
@@ -1,11 +1,11 @@
-#!/bin/bash
+#!/bin/sh
 
 # Get a string describing the current code, and compare it to the
 # recorded value in VERSION. Copy over that if it's changed, so that
 # Make sees a more recent file.
 
 VOLD=""
-if [ -r VERSION ]
+if test -r VERSION
 then
     VOLD=`cat VERSION`
 fi
@@ -15,7 +15,7 @@ git describe --long --always > VERSION.new || touch VERSION.new
 
 VNEW=`cat VERSION.new`
 
-if [ "$VOLD" != "$VNEW" ]
+if test -n "$VNEW" -a "$VOLD" != "$VNEW"
 then
     cp VERSION.new VERSION
     echo Copying VERSION.new = $VNEW over VERSION = $VOLD