Use [ instead of [[ in jldownload

Closes JuliaLang#6615
pwl · Apr 24, 2014 · e792361 · e792361
1 parent 660716c
commit e792361
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/jldownload b/deps/jldownload
@@ -41,7 +41,7 @@ else
  exit 1
 fi
 
-if [[ -z "$JLDOWNLOAD_PREFER_MIRROR" ]]; then
+if [ -z "$JLDOWNLOAD_PREFER_MIRROR" ]; then
  $GETURL $URL || $GETURL $MIRROR_URL
 else
  # Still try downloading from the original URL if the mirror fails.