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

/barrelfish-2018-10-04/tools/arm_gem5/
H A Dboot_gem5.sh29 export M5_PATH=$(realpath $3)
33 if [ -z "$M5_PATH" ]; then
34 echo "*** Error: M5_PATH variable not set."
35 echo " Please set M5_PATH to be the pathname of the GEM5 build directory"
40 export M5_DIR="$M5_PATH"

Completed in 202 milliseconds