Searched refs:RUN_FILE (Results 1 – 1 of 1) sorted by relevance
24 RUN_FILE=$OPTARG25 if [[ ! -f $RUN_FILE ]]; then26 echo "Cannot read file: $RUN_FILE"34 if [[ -z $RUN_FILE ]]; then35 RUN_FILE="$TEST_DIR/runfiles/default.run"38 exec $RUNNER -c $RUN_FILE