diff options
-rw-r--r-- | etc/disable-devel.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 963cf6da0..971857710 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
@@ -2,7 +2,7 @@ | |||
2 | 2 | ||
3 | # GCC | 3 | # GCC |
4 | blacklist /usr/include | 4 | blacklist /usr/include |
5 | blacklist /usr/lib/gcc | 5 | #blacklist /usr/lib/gcc - seems to create problems on Gentoo |
6 | blacklist /usr/bin/gcc* | 6 | blacklist /usr/bin/gcc* |
7 | blacklist /usr/bin/cpp* | 7 | blacklist /usr/bin/cpp* |
8 | blacklist /usr/bin/c9* | 8 | blacklist /usr/bin/c9* |