update pahole name (#4441)

* update pahole name
compiler-explorer · Jan 24, 2023 · ac008ed · ac008ed
1 parent f1eb461
commit ac008ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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