commit | 3833875fa13a3f442252a48784a18f27879a4551 | [log] [tgz] |
---|---|---|
author | Paul E. McKenney <paulmck@linux.ibm.com> | Wed Mar 27 11:47:14 2019 -0700 |
committer | Paul E. McKenney <paulmck@linux.ibm.com> | Wed Mar 27 13:09:18 2019 -0700 |
tree | c302a11f196b2693b5100b9f0659d3754c7a7355 | |
parent | 42efecd333f1d373104942d705d402f1aca93249 [diff] |
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@linux.ibm.com>