Timing metric change

This commit is contained in:
Noah L. Schrick 2022-02-05 02:16:18 -06:00
parent 76d084d7dd
commit 048724cc43

View File

@ -124,7 +124,9 @@ if [[ "$SKIPSYNC" == false ]]; then
done
#Get runtime and states from the output
RUNTIME=`cat "$FILE" | grep -oP '(?<=total run time is )[^ ]*'`
#RUNTIME=`cat "$FILE" | grep -oP '(?<=total run time is )[^ ]*'`
RUNTIME=`cat "$FILE" | grep -oP '(?<=AG TOOK )[^ ]*'`
STATES=`cat "$FILE" | grep -oP '(?<=Total States: )[^ ]*'`
if ! test -s "$ERR" || test "$SKIP_FLAG" -eq 1 ; then
@ -226,7 +228,9 @@ if [[ "$SKIPSYNC" == false ]]; then
done
#Get runtime and states from the output
RUNTIME=`cat "$FILE" | grep -oP '(?<=total run time is )[^ ]*'`
#RUNTIME=`cat "$FILE" | grep -oP '(?<=total run time is )[^ ]*'`
RUNTIME=`cat "$FILE" | grep -oP '(?<=AG TOOK )[^ ]*'`
STATES=`cat "$FILE" | grep -oP '(?<=Total States: )[^ ]*'`
if ! test -s "$ERR" || test "$SKIP_FLAG" -eq 1 ; then