changeset 34:a3ef2402ca09

Merge changes.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 07 Nov 2014 13:18:32 -0800
parents 9d0c166bc9ac (diff) aed756d6934e (current diff)
children c9dfccf3c2f7
files plat/unix/update_tags.sh
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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