diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index 4302732fb..6c9efb5ec 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -837,6 +837,9 @@ + + + false