diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties index 4b1eb7bd1d9..64b95e77845 100644 --- a/etc/config/c++.amazon.properties +++ b/etc/config/c++.amazon.properties @@ -5569,4 +5569,5 @@ tools.bloaty11.name=bloaty (1.1) tools.bloaty11.exe=/opt/compiler-explorer/bloaty-1.1/bin/bloaty tools.bloaty11.type=postcompilation tools.bloaty11.class=bloaty-tool +tools.bloaty11.exclude=djggp tools.bloaty11.stdinHint=disabled diff --git a/etc/config/c.amazon.properties b/etc/config/c.amazon.properties index 3b3517c3868..c6f4bd3ad3e 100644 --- a/etc/config/c.amazon.properties +++ b/etc/config/c.amazon.properties @@ -3574,4 +3574,5 @@ tools.bloaty11.name=bloaty (1.1) tools.bloaty11.exe=/opt/compiler-explorer/bloaty-1.1/bin/bloaty tools.bloaty11.type=postcompilation tools.bloaty11.class=bloaty-tool +tools.bloaty11.exclude=djggp tools.bloaty11.stdinHint=disabled