fix jsc install script

swannodette · swannodette · commit d25507d90032 · 2020-06-28T09:19:44.000-04:00
diff --git a/ci/install_jsc.sh b/ci/install_jsc.sh
@@ -1,2 +1,8 @@
 #!/usr/bin/env bash
-[[ -d WebKit ]] || { git clone --depth=1 git://git.webkit.org/WebKit.git WebKit; cd WebKit; Tools/Scripts/build-jsc --jsc-only; cd .. }
+if [ ! -d WebKit ]
+then
+  git clone --depth=1 git://git.webkit.org/WebKit.git WebKit;
+  cd WebKit;
+  Tools/Scripts/build-jsc --jsc-only;
+  cd ..
+fi
