diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2018-07-16 14:05:58 -0400 |
|---|---|---|
| committer | Ingo Molnar <mingo@kernel.org> | 2018-07-17 03:30:17 -0400 |
| commit | 24675bb554f9e3d0e2bd61f6a7d8da50d224c8ff (patch) | |
| tree | e113f9caca093ba1c218e19078a982bcbf299e55 /tools/memory-model/scripts | |
| parent | af41db5ef7c7cf0fee860f65cab59d0d188098d2 (diff) | |
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/scripts')
| -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 @@ | |||
| 9 | # appended. | 9 | # appended. |
| 10 | # | 10 | # |
| 11 | # Usage: | 11 | # Usage: |
| 12 | # sh checkalllitmus.sh [ directory ] | 12 | # checkalllitmus.sh [ directory ] |
| 13 | # | 13 | # |
| 14 | # The LINUX_HERD_OPTIONS environment variable may be used to specify | 14 | # The LINUX_HERD_OPTIONS environment variable may be used to specify |
| 15 | # arguments to herd, whose default is defined by the checklitmus.sh script. | 15 | # 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 @@ | |||
| 8 | # with ".out" appended. | 8 | # with ".out" appended. |
| 9 | # | 9 | # |
| 10 | # Usage: | 10 | # Usage: |
| 11 | # sh checklitmus.sh file.litmus | 11 | # checklitmus.sh file.litmus |
| 12 | # | 12 | # |
| 13 | # The LINUX_HERD_OPTIONS environment variable may be used to specify | 13 | # The LINUX_HERD_OPTIONS environment variable may be used to specify |
| 14 | # arguments to herd, which default to "-conf linux-kernel.cfg". Thus, | 14 | # arguments to herd, which default to "-conf linux-kernel.cfg". Thus, |
