From bd748c6f0cc5468eb724085cd07cef854fdb7272 Mon Sep 17 00:00:00 2001 From: Victor Seva Date: Thu, 16 Jan 2014 11:25:01 +0100 Subject: [PATCH] get_results.sh: fix g option. Generating flow_graph --- get_results.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get_results.sh b/get_results.sh index c0f393b5..af76c8ef 100755 --- a/get_results.sh +++ b/get_results.sh @@ -17,7 +17,7 @@ function usage echo "BIN_DIR:${BIN_DIR}" } -while getopts 'hcp:' opt; do +while getopts 'hgp:' opt; do case $opt in h) usage; exit 0;; g) GRAPH="-G";;