diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index c9b2dbf50..a3f8a9863 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -519,6 +519,7 @@ false + @@ -541,6 +542,7 @@ false + @@ -560,6 +562,7 @@ false +