Home
last modified time | relevance | path

Searched refs:destdir (Results 1 – 2 of 2) sorted by relevance

/tools/memory-model/scripts/
A Dchecklitmushist.sh45 destdir="$LKMM_DESTDIR"
48 LKMM_DESTDIR="$destdir"; export LKMM_DESTDIR
A Dparseargs.sh96 checkarg --destdir "(herd7 options)" "$#" "$2" '.*' '^--'

Completed in 3 milliseconds