Searched refs:LKMM_HW_MAP_FILE (Results 1 – 5 of 5) sorted by relevance
35 if test -z "$LKMM_HW_MAP_FILE" -o ! -e $LKMM_DESTDIR/$litmus.out42 if test -z "$LKMM_HW_MAP_FILE"56 mapfile="Linux2${LKMM_HW_MAP_FILE}.map"57 themefile="$T/${LKMM_HW_MAP_FILE}.theme"59 hwlitmus=`echo $litmus | sed -e 's/\.litmus$/.litmus.'${LKMM_HW_MAP_FILE}'/'`
40 if test -z "$LKMM_HW_MAP_FILE"46 sed -e 's/\.litmus$/.litmus.'${LKMM_HW_MAP_FILE}'/'`.out"67 if test -n "$datarace_predicted" -a -z "$datarace_modeled" -a -z "$LKMM_HW_MAP_FILE"77 elif test -n "$LKMM_HW_MAP_FILE" && grep -q '^Observation' $LKMM_DESTDIR/$lkmmout > /dev/null 2>&1141 if test \( -n "$LKMM_HW_MAP_FILE" -a "$outcome" = Sometimes \) -o -n "$datarace_modeled"
30 initparam LKMM_HW_MAP_FILE ""45 …tdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKM…102 LKMM_HW_MAP_FILE="$2"
15 if test -z "$LKMM_HW_MAP_FILE"19 hwfnseg=".$LKMM_HW_MAP_FILE"
50 if test -n "$LKMM_HW_MAP_FILE" && ! scripts/simpletest.sh $i