diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2019-05-02 19:03:29 +0200 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 18:24:15 +0100 |
commit | a4deb29a1ddff4513daa3844ef4958d089631a6c (patch) | |
tree | afd23b35bf6c8abe59086d488ea8d1047d2bea5e /tools/memory-model | |
parent | tools/memory-model: Add "--" to parseargs.sh for additional arguments (diff) | |
download | linux-a4deb29a1ddff4513daa3844ef4958d089631a6c.tar.xz linux-a4deb29a1ddff4513daa3844ef4958d089631a6c.zip |
tools/memory-model: Repair parseargs.sh header comment
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model')
-rwxr-xr-x | tools/memory-model/scripts/parseargs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/memory-model/scripts/parseargs.sh b/tools/memory-model/scripts/parseargs.sh index 7aa58755adfc..08ded5909860 100755 --- a/tools/memory-model/scripts/parseargs.sh +++ b/tools/memory-model/scripts/parseargs.sh @@ -1,7 +1,7 @@ #!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # -# the corresponding .litmus.out file, and does not judge the result. +# Parse arguments common to the various scripts. # # . scripts/parseargs.sh # |