tools/memory-model: Fix scripting --jobs argument
authorPaul E. McKenney <paulmck@kernel.org>
Wed, 27 Mar 2019 18:47:14 +0000 (11:47 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit78963cda013b5b35f117f129d3018adf034d46e0
tree67258b93b8ea3c5378388dbc4fdae1895a15613c
parent8cf69fb2641c4b4ff6a1cc454a349f551ef28fb9
tools/memory-model: Fix scripting --jobs argument

The parseargs.sh regular expression for the --jobs argument incorrectly
requires that the number of jobs be at least 10, that is, have at least
two digits.  This commit therefore adjusts this regular expression to
allow single-digit numbers of jobs to be specified.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/parseargs.sh