# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1415394920 28800
# Node ID 9d0c166bc9ac2c7deea2a19710260730ded6235a
# Parent  302b5e860fc34578aed3dd9aba215ab3fe263a9d
Use more proper `sh` syntax.

diff -r 302b5e860fc3 -r 9d0c166bc9ac plat/unix/update_tags.sh
--- 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