diff options
| author | Erich Eckner <git@eckner.net> | 2020-06-16 17:12:07 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-06-16 17:12:07 +0200 |
| commit | a4b9606a0d966b90ccba1392c8867638139a9573 (patch) | |
| tree | 1b492b67fbf183cf2b7209987d08300b92cd3649 | |
| parent | 1980da79ed985d15ba00a48f5f62523b1eabe96d (diff) | |
| download | builder-a4b9606a0d966b90ccba1392c8867638139a9573.tar.xz | |
bin/sanity-check: fix wrong "set --"
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index f9c36ef..2e42166 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -161,7 +161,7 @@ while [ $# -gt 0 ]; do fi i_am_insane # if the master mirror cannot be reached, further tests do not make any sense - set -- + set -- "$1" fi done |