Searched refs:T0_VAL (Results 1 – 1 of 1) sorted by relevance
103 T0_VAL=$SCRIPT_DIR/t0.val110 if [ ! -f "$T0_VAL" ]; then112 echo $? > "$T0_VAL"114 if TIMEOUT_RET=$(cat "$T0_VAL"); then