1 files changed, 1 insertions, 1 deletions

diff --git a/test/compile/compile.sh b/test/compile/compile.sh
index 48c8dd2c4..0285c8935 100755
--- a/test/compile/compile.sh
+++ b/test/compile/compile.sh
@@ -52,7 +52,7 @@ print_title() {
 }
 
 DIST="$1"
-while [ $# -gt 0 ]; do    # Until you run out of parameters . . .
+while [[ $# -gt 0 ]]; do    # Until you run out of parameters . . .
         case "$1" in
         --clean)
                 cleanup