diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index 0b45b858a17..3d0315040a9 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -1668,6 +1668,25 @@ + + + + false + + + + + + + + + + + + + + +