diff options
| -rwxr-xr-x | patches/update-and-patch-chromium.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/patches/update-and-patch-chromium.sh b/patches/update-and-patch-chromium.sh index a24d4d614..8295d6b62 100755 --- a/patches/update-and-patch-chromium.sh +++ b/patches/update-and-patch-chromium.sh @@ -1,7 +1,7 @@ #!/bin/sh # Script used temporarily to invoke gclient and apply our patches -if [[ -z $CHROMIUM_SRC_DIR || ! -d $CHROMIUM_SRC_DIR ]]; then +if [ -z $CHROMIUM_SRC_DIR -o ! -d $CHROMIUM_SRC_DIR ]; then echo "CHROMIUM_SRC_DIR not set or pointing to a non existing directory." exit 1; fi |