diff options
| -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 ae64f456e..ae8140974 100644 --- a/etc/inc/disable-devel.inc +++ b/etc/inc/disable-devel.inc | |||
| @@ -47,8 +47,6 @@ blacklist ${PATH}/scan-build | |||
| 47 | 47 | ||
| 48 | # GCC | 48 | # GCC |
| 49 | blacklist ${PATH}/*-g++* | 49 | blacklist ${PATH}/*-g++* |
| 50 | blacklist ${PATH}/*-g++* | ||
| 51 | blacklist ${PATH}/*-gcc* | ||
| 52 | blacklist ${PATH}/*-gcc* | 50 | blacklist ${PATH}/*-gcc* |
| 53 | blacklist ${PATH}/as | 51 | blacklist ${PATH}/as |
| 54 | blacklist ${PATH}/c++* | 52 | blacklist ${PATH}/c++* |