Searched refs:WORK_DIR (Results 1 – 4 of 4) sorted by relevance
12 WORK_DIR=tmp13 mkdir $WORK_DIR28 cp $FILE ${WORK_DIR}/${TITLE}32 cd $WORK_DIR46 rm -R $WORK_DIR
50 WORK_DIR="$(make_temp_dir)"51 OLD_BIOS="$WORK_DIR/old_bios.bin"52 NEW_BIOS="$WORK_DIR/new_bios.bin"
40 # WORK_DIR=/home/gael/Coding/eigen2/cdash42 # wget http://bitbucket.org/eigen/eigen/raw/tip/test/testsuite.cmake -o $WORK_DIR/testsuite.cmake43 # COMMON="ctest -S $WORK_DIR/testsuite.cmake,EIGEN_WORK_DIR=$WORK_DIR,EIGEN_SITE=$SITE,EIGEN_MODE=$…
47 # WORK_DIR=/home/gael/Coding/eigen/cdash49 # wget http://bitbucket.org/eigen/eigen/raw/tip/test/testsuite.cmake -o $WORK_DIR/testsuite.cmake50 # COMMON="ctest -S $WORK_DIR/testsuite.cmake,EIGEN_WORK_DIR=$WORK_DIR,EIGEN_SITE=$SITE,EIGEN_MODE=$…