diff options
Diffstat (limited to 'etc/disable-devel.inc')
| -rw-r--r-- | etc/disable-devel.inc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 59df9fb0f..e1ba13380 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
| @@ -26,7 +26,6 @@ blacklist ${PATH}/*-gcc* | |||
| 26 | blacklist ${PATH}/*-g++* | 26 | blacklist ${PATH}/*-g++* |
| 27 | blacklist ${PATH}/*-gcc* | 27 | blacklist ${PATH}/*-gcc* |
| 28 | blacklist ${PATH}/*-g++* | 28 | blacklist ${PATH}/*-g++* |
| 29 | blacklist /usr/include | ||
| 30 | # seems to create problems on Gentoo | 29 | # seems to create problems on Gentoo |
| 31 | #blacklist /usr/lib/gcc | 30 | #blacklist /usr/lib/gcc |
| 32 | 31 | ||