diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index 565bc35cad5..23aaf657071 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -980,10 +980,10 @@ - + - + false