diff options
author | 2022-09-13 20:21:21 +0000 | |
---|---|---|
committer | 2022-09-13 22:37:20 +0000 | |
commit | 7a5c2b205e4f0c3700f41f2ccd2b104476b8f026 (patch) | |
tree | 1a4f33f8d68139a6bdac2657ed2e9860efc194d6 /test/compile | |
parent | tests: stop mixing tabs and spaces (diff) | |
download | firejail-7a5c2b205e4f0c3700f41f2ccd2b104476b8f026.tar.gz firejail-7a5c2b205e4f0c3700f41f2ccd2b104476b8f026.tar.zst firejail-7a5c2b205e4f0c3700f41f2ccd2b104476b8f026.zip |
tests: use bash-style [[...]] instead of [...]
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 |