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 | |
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')
-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, |