changeset 32:9d0c166bc9ac

Use more proper `sh` syntax.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 07 Nov 2014 13:15:20 -0800
parents 302b5e860fc3
children a3ef2402ca09
files plat/unix/update_tags.sh
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/plat/unix/update_tags.sh	Tue Oct 21 20:21:31 2014 -0700
+++ b/plat/unix/update_tags.sh	Fri Nov 07 13:15:20 2014 -0800
@@ -57,7 +57,7 @@
 
 shift $((OPTIND - 1))
 
-if [[ "$1" -ne "" ]]; then
+if [ "$1" != "" ]; then
     echo "Invalid Argument: $1"
     exit 1
 fi
@@ -65,8 +65,8 @@
 echo "Locking tags file..."
 echo $$ > "$TAGS_FILE.lock"
 
-if [[ -f "$TAGS_FILE" ]]; then
-    if [[ "$UPDATED_SOURCE" != "" ]]; then
+if [ -f "$TAGS_FILE" ]; then
+    if [ "$UPDATED_SOURCE" != "" ]; then
         echo "Removing references to: $UPDATED_SOURCE"
         echo "grep -v $UPDATED_SOURCE \"$TAGS_FILE\" > \"$TAGS_FILE.temp\""
         grep -v $UPDATED_SOURCE "$TAGS_FILE" > "$TAGS_FILE.temp"
@@ -87,7 +87,7 @@
 
 echo "Done."
 
-if [[ $PAUSE_BEFORE_EXIT -eq 1 ]]; then
+if [ $PAUSE_BEFORE_EXIT -eq 1 ]; then
     read -p "Press ENTER to exit..."
 fi