diff options
author | Zeno Albisser <zeno.albisser@digia.com> | 2013-05-15 13:21:17 +0200 |
---|---|---|
committer | Zeno Albisser <zeno@webkit.org> | 2013-05-15 13:21:17 +0200 |
commit | 4eb0b8950b556bb26783a145db0216076a4177e1 (patch) | |
tree | 49c77e413de7727799c795ce6f8b53043380f36e /patches | |
parent | 3678d4edbb02c0c7a1ec2228534331c0e8b9466b (diff) |
fix for bash.
Diffstat (limited to 'patches')
-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 |