diff options
Diffstat (limited to 'test/compile')
-rwxr-xr-x | test/compile/compile.sh | 2 |
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() { | |||
52 | } | 52 | } |
53 | 53 | ||
54 | DIST="$1" | 54 | DIST="$1" |
55 | while [ $# -gt 0 ]; do # Until you run out of parameters . . . | 55 | while [[ $# -gt 0 ]]; do # Until you run out of parameters . . . |
56 | case "$1" in | 56 | case "$1" in |
57 | --clean) | 57 | --clean) |
58 | cleanup | 58 | cleanup |