#!/bin/sh # SPDX-License-Identifier: GPL-2.0+ # # Parse arguments common to the various scripts. # # . scripts/parseargs.sh # # Include into other Linux kernel tools/memory-model scripts. # # Copyright IBM Corporation, 2018 # # Author: Paul E. McKenney <paulmck@linux.ibm.com>
usagehelp () { echo"Usage $scriptname [ arguments ]" echo" --destdir path (place for .litmus.out, default by .litmus)" echo" --herdopts -conf linux-kernel.cfg ..." echo" --hw AArch64" echo" --jobs N (number of jobs, default one per CPU)" echo" --procs N (litmus tests with at most this many processes)" echo" --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')" echo"Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
exit 1
}
usage () {
usagehelp 1>&2
}
# checkarg --argname argtype $# arg mustmatch cannotmatch
checkarg () { if test $3 -le 1 then echo $1 needs argument $2 matching \"$5\"
usage fi ifecho"$4" | grep -q -e "$5" then
: else echo $1 $2 \"$4\" must match \"$5\"
usage fi ifecho"$4" | grep -q -e "$6" then echo $1 $2 \"$4\" must not match \"$6\"
usage fi
}
while test $# -gt 0 do
case "$1" in
--destdir)
checkarg --destdir "(path to directory)""$#" "$2" '.\+' '^--'
LKMM_DESTDIR="$2"
mkdir $LKMM_DESTDIR > /dev/null 2>&1 if ! test -e "$LKMM_DESTDIR" then echo"Cannot create directory --destdir '$LKMM_DESTDIR'"
usage fi if test -d "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR" then
: else echo"Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
usage fi
shift
;;
--herdopts|--herdopt)
checkarg --destdir "(herd7 options)""$#" "$2" '.*' '^--'
LKMM_HERD_OPTIONS="$2"
shift
;;
--hw)
checkarg --hw "(.map file architecture name)""$#" "$2" '^[A-Za-z0-9_-]\+' '^--'
LKMM_HW_MAP_FILE="$2"
shift
;;
-j[1-9]*)
njobs="`echo $1 | sed -e 's/^-j//'`"
trailchars="`echo $njobs | sed -e 's/[0-9]\+\(.*\)$/\1/'`" if test -n "$trailchars" then echo $1 trailing characters "'$trailchars'"
usagehelp fi
LKMM_JOBS="`echo $njobs | sed -e 's/^\([0-9]\+\).*$/\1/'`"
;;
--jobs|--job|-j)
checkarg --jobs "(number)""$#" "$2" '^[1-9][0-9]*$' '^--'
LKMM_JOBS="$2"
shift
;;
--procs|--proc)
checkarg --procs "(number)""$#" "$2" '^[0-9]\+$' '^--'
LKMM_PROCS="$2"
shift
;;
--timeout)
checkarg --timeout "(timeout spec)""$#" "$2" '^\([0-9]\+[smhd]\?\|\)$' '^--'
LKMM_TIMEOUT="$2"
shift
;;
--)
shift
break
;;
*) echo Unknown argument $1
usage
;;
esac
shift done if test -z "$LKMM_TIMEOUT" then
LKMM_TIMEOUT_CMD=""; export LKMM_TIMEOUT_CMD else
LKMM_TIMEOUT_CMD="timeout $LKMM_TIMEOUT"; export LKMM_TIMEOUT_CMD fi rm -rf $T
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.