Searched refs:TIMEOUT_VAL (Results 1 – 1 of 1) sorted by relevance
49 …sh -c "$SCRIPT_DIR/t0 $TIMEOUT_VAL ./$1 $(cat ./$(echo "$1" | sed 's,\.[^\.]*,,').args 2>/dev/null…116 TIMEOUT_VAL=${TIMEOUT_VAL:=300}