projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69d476c) | patch
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
tree15143ba97273aaa639e9cb6ae20ad4cca6b0a8c9tree | snapshot
parent69d476c55761a74e636bb10e101e5aed6fb104fdcommit | 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@kernel.org>
tools/memory-model/scripts/parseargs.sh diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git