diff options
Diffstat (limited to 'etc/disable-devel.inc')
-rw-r--r-- | etc/disable-devel.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index c95d051ce..39e301191 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
@@ -8,6 +8,7 @@ blacklist /usr/bin/c9* | |||
8 | blacklist /usr/bin/c8* | 8 | blacklist /usr/bin/c8* |
9 | blacklist /usr/bin/c++* | 9 | blacklist /usr/bin/c++* |
10 | blacklist /usr/bin/ld | 10 | blacklist /usr/bin/ld |
11 | blacklist /usr/bin/gdb | ||
11 | 12 | ||
12 | # Valgrind | 13 | # Valgrind |
13 | blacklist /usr/bin/valgrind* | 14 | blacklist /usr/bin/valgrind* |