diff --git a/test/ondemand/scripts/read-expression-dump-file.sh b/test/ondemand/scripts/read-expression-dump-file.sh index d3006d3af..3ecfb0332 100644 --- a/test/ondemand/scripts/read-expression-dump-file.sh +++ b/test/ondemand/scripts/read-expression-dump-file.sh @@ -4,4 +4,11 @@ if [[ "$1" == "--help" || "$1" == "" ]]; then exit fi -xxd -c 8 -g 0 -b $1 | grep -oE ' [01]+ ' | grep -oE '[01]+' | sed 's/0/ /g' \ No newline at end of file +if ! command -v ggrep &> /dev/null +then + ggrep=grep +else + ggrep=ggrep +fi + +xxd -c 16 -g 0 -b $1 | $ggrep -oP '(?<=[01]{64})[01]+' | grep -oE '[01]+' | sed 's/0/ /g'