tools/memory-model: Add "--" to parseargs.sh for additional arguments
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 2 May 2019 16:51:57 +0000 (09:51 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commit8b99521f9a2d0c6e5dbc8349c1970cb39452f4dc
tree5dfc477c1b07316d15c2622055da62430e31c179
parent75eee921a1e9fc13d3b6766d98cdf842e843c31d
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>
tools/memory-model/scripts/parseargs.sh