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

/linux-master/tools/memory-model/scripts/
H A Djudgelitmus.sh49 if test -f "$LKMM_DESTDIR/$litmusout" -a -r "$LKMM_DESTDIR/$litmusout"
53 echo ' --- ' error: \"$LKMM_DESTDIR/$litmusout is not a readable file
56 if grep -q '^Flag data-race$' "$LKMM_DESTDIR/$litmusout"
77 elif test -n "$LKMM_HW_MAP_FILE" && grep -q '^Observation' $LKMM_DESTDIR/$lkmmout > /dev/null 2>&1
79 outcome=`grep -m 1 '^Observation ' $LKMM_DESTDIR/$lkmmout | awk '{ print $3 }'`
84 grep '^Observation' $LKMM_DESTDIR/$litmusout
85 if grep -q '^Observation' $LKMM_DESTDIR/$litmusout
88 elif grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout
90 badname=`grep ': Unknown macro ' $LKMM_DESTDIR/
[all...]
H 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.out 2>&1
H 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/"',' |
H 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"
H A Dinitlitmushist.sh55 if test "$LKMM_DESTDIR" != "."
58 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
H A Dcheckalllitmus.sh40 if test "$LKMM_DESTDIR" != "."
43 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
H 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-C-script
H 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 ) |
H A Drunlitmushist.sh40 if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out

Completed in 133 milliseconds