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

/barrelfish-master/tools/imx8x/
H A Dbf-boot.sh17 SCRIPT_DIR=$(dirname $0)
64 source "${SCRIPT_DIR}/board-tools.sh"
65 BOARD_CTRL="${SCRIPT_DIR}/board_ctrl.py"
87 cp "${SCRIPT_DIR}/aux-bf-boot/boot.scr" "${TEMPDIR}/"
88 cp "${SCRIPT_DIR}/aux-bf-boot/uuu.auto" "${TEMPDIR}/"
/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD185 SCRIPT_DIR=`dirname $0`
188 . $SCRIPT_DIR/site_info
208 echo "$0: Please set parameter $param_name in $SCRIPT_DIR/site_info" 1>&2

Completed in 41 milliseconds