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.sh49 if test -f "$LKMM_DESTDIR/$litmusout" -a -r "$LKMM_DESTDIR/$litmusout"
84 grep '^Observation' $LKMM_DESTDIR/$litmusout
85 if grep -q '^Observation' $LKMM_DESTDIR/$litmusout
88 elif grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout
95 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
103 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
110 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
123 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
132 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
150 if ! grep -qe "$flag" $LKMM_DESTDIR/$litmusout
[all …]
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 Drunlitmus.sh35 if test -z "$LKMM_HW_MAP_FILE" -o ! -e $LKMM_DESTDIR/$litmus.out
39 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
40 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
71 jingle7 -v -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out
75 cp $T/$hwlitmusfile.jingle7.out $LKMM_DESTDIR/$hwlitmus.err
78 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 -unroll 0 $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.o…
A Dparseargs.sh28 initparam LKMM_DESTDIR "."
79 LKMM_DESTDIR="$2"
80 mkdir $LKMM_DESTDIR > /dev/null 2>&1
81 if ! test -e "$LKMM_DESTDIR"
83 echo "Cannot create directory --destdir '$LKMM_DESTDIR'"
86 if test -d "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR"
90 echo "Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
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.sh30 if test "$LKMM_DESTDIR" != "."
33 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
37 ( cd $LKMM_DESTDIR; find litmus -name "*.litmus${hwfnseg}.out" -print ) |
A Dcheckalllitmus.sh40 if test "$LKMM_DESTDIR" != "."
43 ( 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.sh40 if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out

Completed in 12 milliseconds