diff options
Diffstat (limited to 'etc/inc/disable-devel.inc')
| -rw-r--r-- | etc/inc/disable-devel.inc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/inc/disable-devel.inc b/etc/inc/disable-devel.inc index e74b1b40b..98bf5ecc8 100644 --- a/etc/inc/disable-devel.inc +++ b/etc/inc/disable-devel.inc | |||
| @@ -60,9 +60,7 @@ blacklist /usr/lib/tcc | |||
| 60 | blacklist ${PATH}/valgrind* | 60 | blacklist ${PATH}/valgrind* |
| 61 | blacklist /usr/lib/valgrind | 61 | blacklist /usr/lib/valgrind |
| 62 | 62 | ||
| 63 | |||
| 64 | # Source-Code | 63 | # Source-Code |
| 65 | |||
| 66 | blacklist /usr/src | 64 | blacklist /usr/src |
| 67 | blacklist /usr/local/src | 65 | blacklist /usr/local/src |
| 68 | blacklist /usr/include | 66 | blacklist /usr/include |