From 748248cba3925b609e30673192e600a9e0737602 Mon Sep 17 00:00:00 2001 From: Jan Beck Date: Tue, 18 Jun 2019 04:33:54 +0000 Subject: [PATCH] Fix embarrasing oversight I forgot to add the change to actually use gcc 7 to the github version. --- tracers/pin_build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tracers/pin_build.sh b/tracers/pin_build.sh index 454ed034..6ffbfe21 100755 --- a/tracers/pin_build.sh +++ b/tracers/pin_build.sh @@ -17,8 +17,8 @@ Linux) echo "WARNING: you don't have apt-get, you are required to fetch pin tool building deps (e.g. 32 bit libs) on your own" fi - PIN_ROOT=./pin-latest TARGET=intel64 make CXX=g++-4.9 - PIN_ROOT=./pin-latest TARGET=ia32 make CXX=g++-4.9 + PIN_ROOT=./pin-latest TARGET=intel64 make CXX=g++-7 + PIN_ROOT=./pin-latest TARGET=ia32 make CXX=g++-7 ;; Darwin)