summaryrefslogtreecommitdiffstats
path: root/etc/disable-devel.inc
diff options
context:
space:
mode:
Diffstat (limited to 'etc/disable-devel.inc')
-rw-r--r--etc/disable-devel.inc1
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*
8blacklist /usr/bin/c8* 8blacklist /usr/bin/c8*
9blacklist /usr/bin/c++* 9blacklist /usr/bin/c++*
10blacklist /usr/bin/ld 10blacklist /usr/bin/ld
11blacklist /usr/bin/gdb
11 12
12# Valgrind 13# Valgrind
13blacklist /usr/bin/valgrind* 14blacklist /usr/bin/valgrind*