From a45ea37c75cb6ba9415357c443a266339d99e6c6 Mon Sep 17 00:00:00 2001 From: Madhur Chauhan Date: Fri, 16 Dec 2022 03:41:23 +0530 Subject: [PATCH] update pahole name (#4441) * update pahole name --- CONTRIBUTORS.md | 1 + etc/config/c++.amazon.properties | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index d13c0727875..507fc89d629 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -126,3 +126,4 @@ From oldest to newest contributor, we would like to thank: - [Jackson Machado](https://github.com/jacksjm) - [Cordell Bloor](https://github.com/cgmb) - [Sebastian Büttner](https://github.com/bueddl) +- [Madhur Chauhan](https://github.com/madhur4127) diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties index 7b8a16cb5ec..f2f3b223504 100644 --- a/etc/config/c++.amazon.properties +++ b/etc/config/c++.amazon.properties @@ -3295,7 +3295,7 @@ tools.osacatrunk.class=osaca-tool tools.osacatrunk.exclude=avr:rv32:armv7:mips:msp:ppc:cl19:cl_new:djggp:kvx:k1c:armhf:armg:arm5 tools.osacatrunk.stdinHint=disabled -tools.pahole.name=pahole +tools.pahole.name=pahole (trunk) tools.pahole.exe=/opt/compiler-explorer/pahole/bin/pahole tools.pahole.type=postcompilation tools.pahole.class=pahole-tool