Searched refs:LKMM_DESTDIR (Results 1 – 9 of 9) sorted by relevance
49 if test -f "$LKMM_DESTDIR/$litmusout" -a -r "$LKMM_DESTDIR/$litmusout"53 echo ' --- ' error: \"$LKMM_DESTDIR/$litmusout is not a readable file56 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>&179 outcome=`grep -m 1 '^Observation ' $LKMM_DESTDIR/$lkmmout | awk '{ print $3 }'`84 grep '^Observation' $LKMM_DESTDIR/$litmusout85 if grep -q '^Observation' $LKMM_DESTDIR/$litmusout88 elif grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout90 badname=`grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout |95 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout[all …]
39 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |45 destdir="$LKMM_DESTDIR"46 LKMM_DESTDIR=$T/results; export LKMM_DESTDIR48 LKMM_DESTDIR="$destdir"; export LKMM_DESTDIR53 ddir=`awk -v c="$cdir" -v d="$LKMM_DESTDIR" \58 sed < $T/list-C-short -e 's,^,'"$LKMM_DESTDIR/"',' |
35 if test -z "$LKMM_HW_MAP_FILE" -o ! -e $LKMM_DESTDIR/$litmus.out39 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out40 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&171 jingle7 -v -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out75 cp $T/$hwlitmusfile.jingle7.out $LKMM_DESTDIR/$hwlitmus.err78 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 -unroll 0 $LKMM_DESTDIR/$hwlitmus > $LKMM_DESTDIR/$hwlitmus.o…
28 initparam LKMM_DESTDIR "."79 LKMM_DESTDIR="$2"80 mkdir $LKMM_DESTDIR > /dev/null 2>&181 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"
33 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…
30 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 ) |
40 if test "$LKMM_DESTDIR" != "."43 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
55 if test "$LKMM_DESTDIR" != "."58 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
40 if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out
