From 534fde1c0f46a29933e12e23f40d54afc48f4820 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer <electron.kiwi@gmail.com>
Date: Tue, 8 Feb 2022 14:12:33 -0800
Subject: [PATCH] tracegen: execute to axe script with python2 (#1107)

---
 scripts/check-tracegen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/check-tracegen.sh b/scripts/check-tracegen.sh
index 3ba63067..947e7312 100755
--- a/scripts/check-tracegen.sh
+++ b/scripts/check-tracegen.sh
@@ -13,7 +13,7 @@ AXE_SHRINK=${AXE_DIR}/src/axe-shrink.py
 PATH=$PATH:${AXE_DIR}/src
 
 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)
 
 if [ "$result" != OK ]; then