diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/disable-devel.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 39e301191..65b31ba9b 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
@@ -10,6 +10,12 @@ blacklist /usr/bin/c++* | |||
10 | blacklist /usr/bin/ld | 10 | blacklist /usr/bin/ld |
11 | blacklist /usr/bin/gdb | 11 | blacklist /usr/bin/gdb |
12 | 12 | ||
13 | # clang/llvm | ||
14 | blacklist /usr/bin/clang* | ||
15 | blacklist /usr/bin/llvm* | ||
16 | blacklist /usb/bin/lldb* | ||
17 | blacklist /usr/lib/llvm* | ||
18 | |||
13 | # Valgrind | 19 | # Valgrind |
14 | blacklist /usr/bin/valgrind* | 20 | blacklist /usr/bin/valgrind* |
15 | blacklist /usr/lib/valgrind | 21 | blacklist /usr/lib/valgrind |