Home
last modified time | relevance | path

Searched refs:LKMM_DESTDIR (Results 1 – 9 of 9) sorted by relevance

/linux/tools/memory-model/scripts/
A Djudgelitmus.sh27 if test -f "$LKMM_DESTDIR/$litmus".out -a -r "$LKMM_DESTDIR/$litmus".out
31 echo ' --- ' error: \"$LKMM_DESTDIR/$litmus\".out is not a readable file
41 grep '^Observation' $LKMM_DESTDIR/$litmus.out
42 if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out
47 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
49 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmus.out 2>&1
55 if grep '^Observation' $LKMM_DESTDIR/$litmus.out | grep -q 'Never 0 0$'
60 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
71 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
73 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1
[all …]
A Dparseargs.sh28 initparam LKMM_DESTDIR "."
77 LKMM_DESTDIR="$2"
78 mkdir $LKMM_DESTDIR > /dev/null 2>&1
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"
A Dchecklitmushist.sh39 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
45 destdir="$LKMM_DESTDIR"
46 LKMM_DESTDIR=$T/results; export LKMM_DESTDIR
48 LKMM_DESTDIR="$destdir"; export LKMM_DESTDIR
53 ddir=`awk -v c="$cdir" -v d="$LKMM_DESTDIR" \
58 sed < $T/list-C-short -e 's,^,'"$LKMM_DESTDIR/"',' |
A Dnewlitmushist.sh33 if test "$LKMM_DESTDIR" != "."
36 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
40 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
53 sed < $T/list-C-short -e 's,^.*$,if test & -nt '"$LKMM_DESTDIR"'/&.out; then echo &; fi,' > $T/list…
A Dcheckghlitmus.sh29 if test "$LKMM_DESTDIR" != "."
32 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
36 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
A Dchecklitmus.sh31 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
32 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
A Dcheckalllitmus.sh35 if test "$LKMM_DESTDIR" != "."
38 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
A Dinitlitmushist.sh55 if test "$LKMM_DESTDIR" != "."
58 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
A Drunlitmushist.sh33 echo dir="$LKMM_DESTDIR" > $T/$i.sh

Completed in 11 milliseconds