diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-05-02 18:51:57 +0200 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 18:24:14 +0100 |
| commit | 8b99521f9a2d0c6e5dbc8349c1970cb39452f4dc (patch) | |
| tree | 5dfc477c1b07316d15c2622055da62430e31c179 | |
| parent | tools/memory-model: Make history-check scripts use mselect7 (diff) | |
| download | linux-8b99521f9a2d0c6e5dbc8349c1970cb39452f4dc.tar.xz linux-8b99521f9a2d0c6e5dbc8349c1970cb39452f4dc.zip | |
tools/memory-model: Add "--" to parseargs.sh for additional arguments
Currently, parseargs.sh expects to consume all the command-line arguments,
which prevents the calling script from having any of its own arguments.
This commit therefore causes parseargs.sh to stop consuming arguments
when it encounters a "--" argument, leaving any remaining arguments for
the calling script.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
| -rwxr-xr-x | tools/memory-model/scripts/parseargs.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/memory-model/scripts/parseargs.sh b/tools/memory-model/scripts/parseargs.sh index 25a81ac0dfdf..7aa58755adfc 100755 --- a/tools/memory-model/scripts/parseargs.sh +++ b/tools/memory-model/scripts/parseargs.sh @@ -83,7 +83,7 @@ do echo "Cannot create directory --destdir '$LKMM_DESTDIR'" usage fi - if test -d "$LKMM_DESTDIR" -a -w "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR" + if test -d "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR" then : else @@ -127,6 +127,10 @@ do LKMM_TIMEOUT="$2" shift ;; + --) + shift + break + ;; *) echo Unknown argument $1 usage |