Home
last modified time | relevance | path

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

/kernel/linux/linux-5.10/tools/memory-model/scripts/
H 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"
H A Drunlitmushist.sh33 echo dir="$LKMM_DESTDIR" > $T/$i.sh
/kernel/linux/linux-6.6/tools/memory-model/scripts/
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 Drunlitmushist.sh40 if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out

Completed in 2 milliseconds