Lines Matching refs:WORK_DIR
128 install_dir () { echo "$WORK_DIR/$PHASE/$TOOLCHAIN_NAME"; }
267 --work-dir=*) WORK_DIR=$optarg
388 if [ -z "$WORK_DIR" ]; then
389 WORK_DIR=$(mktemp -d /tmp/$USER-gcc-$HOST_BITS-XXXXXX)
392 mkdir -p "$WORK_DIR"
393 fail_panic "Could not create directory: $WORK_DIR"
417 TOOLCHAIN_SRC_DIR=$WORK_DIR/toolchain-src
436 ORG_SYSROOT_DIR=$WORK_DIR/sysroot
447 SOURCES_LIST=$WORK_DIR/SOURCES
453 mkdir -p "$WORK_DIR"
457 DOWNLOAD_DIR=$WORK_DIR/download
504 BUILD_DIR=$WORK_DIR/build
