Skip to content

Commit 7fddb4e

Browse files
authored
Merge pull request #15528 from gforney/master
scripts: correct getopt parameters in timing_stats.sh script
2 parents 36190c3 + a41c530 commit 7fddb4e

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

Utilities/Scripts/timing_stats.sh

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
#!/bin/bash
22
# this script assumes it is being run in Verification
33
is_benchmark="no"
4-
while getopts 'Ad:po:t' OPTION
4+
while getopts 'Ad:p:o:tT:' OPTION
55
do
66
case $OPTION in
77
A)
@@ -19,6 +19,9 @@ case $OPTION in
1919
t)
2020
dummy=1
2121
;;
22+
T)
23+
dummy=1
24+
;;
2225
esac
2326
done
2427
shift $(($OPTIND-1))

0 commit comments

Comments
 (0)