Lines Matching +full:0 +full:- +full:9 +full:a +full:- +full:e

2 # SPDX-License-Identifier: GPL-2.0+
8 # Include into other Linux kernel tools/memory-model scripts.
12 # Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
19 	echo if test -z '"$'$1'"' > $T/s
29 initparam LKMM_HERD_OPTIONS "-conf linux-kernel.cfg"
34 scriptname=$0
38 	echo "      --destdir path (place for .litmus.out, default by .litmus)"
39 	echo "      --herdopts -conf linux-kernel.cfg ..."
40 	echo "      --jobs N (number of jobs, default one per CPU)"
41 	echo "      --procs N (litmus tests with at most this many processes)"
42 	echo "      --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')"
43 …echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --jobs '$LKMM_JO…
51 # checkarg --argname argtype $# arg mustmatch cannotmatch
53 	if test $3 -le 1
58 	if echo "$4" | grep -q -e "$5"
65 	if echo "$4" | grep -q -e "$6"
72 while test $# -gt 0
75 	--destdir)
76 		checkarg --destdir "(path to directory)" "$#" "$2" '.\+' '^--'
79 		if ! test -e "$LKMM_DESTDIR"
81 			echo "Cannot create directory --destdir '$LKMM_DESTDIR'"
84 		if test -d "$LKMM_DESTDIR" -a -w "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR"
88 			echo "Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
93 	--herdopts|--herdopt)
94 		checkarg --destdir "(herd7 options)" "$#" "$2" '.*' '^--'
98 	-j[1-9]*)
99 		njobs="`echo $1 | sed -e 's/^-j//'`"
100 		trailchars="`echo $njobs | sed -e 's/[0-9]\+\(.*\)$/\1/'`"
101 		if test -n "$trailchars"
106 		LKMM_JOBS="`echo $njobs | sed -e 's/^\([0-9]\+\).*$/\1/'`"
108 	--jobs|--job|-j)
109 		checkarg --jobs "(number)" "$#" "$2" '^[1-9][0-9]\+$' '^--'
113 	--procs|--proc)
114 		checkarg --procs "(number)" "$#" "$2" '^[0-9]\+$' '^--'
118 	--timeout)
119 		checkarg --timeout "(timeout spec)" "$#" "$2" '^\([0-9]\+[smhd]\?\|\)$' '^--'
130 if test -z "$LKMM_TIMEOUT"
136 rm -rf $T