Searched refs:CURRENT_FINISH_TIME (Results 1 – 1 of 1) sorted by relevance
63 CURRENT_FINISH_TIME=""104 CURRENT_FINISH_TIME=$4123 CURRENT_FINISH_TIME=$4144 if [ "$CURRENT_FINISH_TIME" = "" ]; then147 FINISH="$CURRENT_FINISH_TIME"