diff options
Diffstat (limited to 'etc/disable-devel.inc')
-rw-r--r-- | etc/disable-devel.inc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 43ccb358b..59df9fb0f 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
@@ -59,3 +59,11 @@ blacklist /usr/lib/tcc | |||
59 | # Valgrind | 59 | # Valgrind |
60 | blacklist ${PATH}/valgrind* | 60 | blacklist ${PATH}/valgrind* |
61 | blacklist /usr/lib/valgrind | 61 | blacklist /usr/lib/valgrind |
62 | |||
63 | |||
64 | # Source-Code | ||
65 | |||
66 | blacklist /usr/src | ||
67 | blacklist /usr/local/src | ||
68 | blacklist /usr/include | ||
69 | blacklist /usr/local/include | ||