projects
/
linux.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8b99521
)
tools/memory-model: Repair parseargs.sh header comment
author
Paul E. McKenney
<paulmck@kernel.org>
Thu, 2 May 2019 17:03:29 +0000
(10:03 -0700)
committer
Paul E. McKenney
<paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:15 +0000
(10:24 -0700)
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/parseargs.sh
patch
|
blob
|
history
diff --git
a/tools/memory-model/scripts/parseargs.sh
b/tools/memory-model/scripts/parseargs.sh
index 7aa58755adfc01f91a33c9c629fcc77c470608af..08ded59098607d44c829e6f0a58da8d12545ea46 100755
(executable)
--- 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
#