tracegen: execute to axe script with python2 (#1107)

This commit is contained in:
Kevin Laeufer
2022-02-08 14:12:33 -08:00
committed by GitHub
parent 9588d7536c
commit 534fde1c0f

View File

@@ -13,7 +13,7 @@ AXE_SHRINK=${AXE_DIR}/src/axe-shrink.py
PATH=$PATH:${AXE_DIR}/src PATH=$PATH:${AXE_DIR}/src
grep '.*:.*#.*@' $1 > /tmp/clean-trace.txt grep '.*:.*#.*@' $1 > /tmp/clean-trace.txt
"$TO_AXE" /tmp/clean-trace.txt > /tmp/trace.axe python2 "$TO_AXE" /tmp/clean-trace.txt > /tmp/trace.axe
result=$("$AXE" check wmo /tmp/trace.axe) result=$("$AXE" check wmo /tmp/trace.axe)
if [ "$result" != OK ]; then if [ "$result" != OK ]; then