# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1415395112 28800
# Node ID a3ef2402ca09f8b6212f6dfb5ddfe182180ba1f7
# Parent  9d0c166bc9ac2c7deea2a19710260730ded6235a# Parent  aed756d6934e1639fc151e603c03f515ba3a609b
Merge changes.

diff -r aed756d6934e -r a3ef2402ca09 plat/unix/update_tags.sh
--- a/plat/unix/update_tags.sh	Wed Oct 29 13:57:07 2014 +0100
+++ b/plat/unix/update_tags.sh	Fri Nov 07 13:18:32 2014 -0800
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 set -e
 
@@ -57,7 +57,7 @@
 
 shift $((OPTIND - 1))
 
-if [[ "$1" -ne "" ]]; then
+if [ "$1" != "" ]; then
     echo "Invalid Argument: $1"
     exit 1
 fi
@@ -68,8 +68,8 @@
 # Remove lock and temp file if script is stopped unexpectedly.
 trap "rm -f \"$TAGS_FILE.lock\" \"$TAGS_FILE.temp\"" 0 3 4 15
 
-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"
@@ -90,7 +90,7 @@
 
 echo "Done."
 
-if [[ $PAUSE_BEFORE_EXIT -eq 1 ]]; then
+if [ $PAUSE_BEFORE_EXIT -eq 1 ]; then
     read -p "Press ENTER to exit..."
 fi