Changeset 359d12d for tools/perf/process_halts.sh

Timestamp:

Jun 26, 2020, 2:53:34 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b813f53

Parents:

f2b18d01

Message:

added --save-temps and --outfile to halts viewing

File:

• tools/perf/process_halts.sh (modified) (1 diff)

tools/perf/process_halts.sh

@@ -1 +1 @@
 #!/bin/bash -e
 
-DIR=$( dirname "${BASH_SOURCE[0]}")
-echo $DIR
-tmpfile=$(mktemp)
-function finish {
-  rm -rf "$tmpfile"
-}
-trap finish EXIT
+SAVE_TEMPS=false
+while (( "$#" )); do
+        case "$1" in
+        -s|--save-temps)
+                SAVE_TEMPS=true
+                shift
+                ;;
+        *) # preserve positional arguments
+                PARAMS="$PARAMS $1"
+                shift
+                ;;
+        esac
+done
+# set positional arguments in their proper place
+eval set -- "$PARAMS"
 
+if $SAVE_TEMPS; then
+        tmpfile=$(mktemp --tmpdir=$(pwd))
+        echo "Saving to $tmpfile"
+else
+        tmpfile=$(mktemp)
+        function finish {
+                rm -rf "$tmpfile"
+        }
+        trap finish EXIT
+fi
 # split the wanted and unwanted output
 awk "/^Processor|^PH:[0-9]+ - [0-9]+ [0-9]+/ {print \$0 > \"$tmpfile\"; next}{print \$0; fflush()}"
 
 # pass the data to the python scirpt
-$DIR/view_halts.py $tmpfile
+DIR=$( dirname "${BASH_SOURCE[0]}")
+cat $tmpfile | $DIR/view_halts.py ${PARAMS}