diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2018-07-16 11:05:58 -0700 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2018-07-17 09:30:17 +0200 |
| commit | 24675bb554f9e3d0e2bd61f6a7d8da50d224c8ff (patch) | |
| tree | e113f9caca093ba1c218e19078a982bcbf299e55 /tools/memory-model | |
| parent | af41db5ef7c7cf0fee860f65cab59d0d188098d2 (diff) | |
| download | linux-stable-24675bb554f9e3d0e2bd61f6a7d8da50d224c8ff.tar.gz linux-stable-24675bb554f9e3d0e2bd61f6a7d8da50d224c8ff.tar.bz2 linux-stable-24675bb554f9e3d0e2bd61f6a7d8da50d224c8ff.zip | |
tools/memory-model: Make scripts executable
This commit makes the scripts executable to avoid the need for everyone
to do so manually in their archive.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Acked-by: Akira Yokosawa <akiyks@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: boqun.feng@gmail.com
Cc: dhowells@redhat.com
Cc: j.alglave@ucl.ac.uk
Cc: linux-arch@vger.kernel.org
Cc: luc.maranget@inria.fr
Cc: npiggin@gmail.com
Cc: parri.andrea@gmail.com
Cc: stern@rowland.harvard.edu
Cc: will.deacon@arm.com
Link: http://lkml.kernel.org/r/20180716180605.16115-7-paulmck@linux.vnet.ibm.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'tools/memory-model')
| -rwxr-xr-x[-rw-r--r--] | tools/memory-model/scripts/checkalllitmus.sh | 2 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/memory-model/scripts/checklitmus.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/memory-model/scripts/checkalllitmus.sh b/tools/memory-model/scripts/checkalllitmus.sh index af0aa15ab84e..ca528f9a24d4 100644..100755 --- a/tools/memory-model/scripts/checkalllitmus.sh +++ b/tools/memory-model/scripts/checkalllitmus.sh @@ -9,7 +9,7 @@ # appended. # # Usage: -# sh checkalllitmus.sh [ directory ] +# checkalllitmus.sh [ directory ] # # The LINUX_HERD_OPTIONS environment variable may be used to specify # arguments to herd, whose default is defined by the checklitmus.sh script. diff --git a/tools/memory-model/scripts/checklitmus.sh b/tools/memory-model/scripts/checklitmus.sh index e2e477472844..bf12a75c0719 100644..100755 --- a/tools/memory-model/scripts/checklitmus.sh +++ b/tools/memory-model/scripts/checklitmus.sh @@ -8,7 +8,7 @@ # with ".out" appended. # # Usage: -# sh checklitmus.sh file.litmus +# checklitmus.sh file.litmus # # The LINUX_HERD_OPTIONS environment variable may be used to specify # arguments to herd, which default to "-conf linux-kernel.cfg". Thus, |