Commit 24675bb5 authored Jul 16, 2018 by Paul E. McKenney Committed by Ingo Molnar Jul 17, 2018

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>

parent af41db5e

tools/memory-model/scripts/checkalllitmus.sh

100644 → 100755

+1 −1

Original line number	Diff line number	Diff line
		@@ -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.

tools/memory-model/scripts/checklitmus.sh

100644 → 100755

+1 −1

Original line number	Diff line number	Diff line
		@@ -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,

Admin message