diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-05-02 10:03:29 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:15 -0700 |
| commit | a4deb29a1ddff4513daa3844ef4958d089631a6c (patch) | |
| tree | afd23b35bf6c8abe59086d488ea8d1047d2bea5e /tools/memory-model/scripts | |
| parent | 8b99521f9a2d0c6e5dbc8349c1970cb39452f4dc (diff) | |
tools/memory-model: Repair parseargs.sh header comment
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'tools/memory-model/scripts')
| -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 # |