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>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commit6e6586b01c32cedc4ddb83dc60911428d6d5f6f1
tree15143ba97273aaa639e9cb6ae20ad4cca6b0a8c9
parent69d476c55761a74e636bb10e101e5aed6fb104fd
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