Searched refs:TIMEOUT_VAL (Results 1 – 2 of 2) 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}
61 -TIMEOUT_VAL = 12062 +TIMEOUT_VAL = 15