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, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commitb8a4815a8762638bdad8bd60225aa5d31e77fa94
treeffe326ac276351b49f863c8ddd9818a62af7f8eb
parente5e5eea14c59580dcc61e97abb8cd5260b10f2e4
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