diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index 7e318b4f9..4302732fb 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -57,6 +57,7 @@ + false