diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg index 37652b565..86fd85955 100644 --- a/cfg/gnu.cfg +++ b/cfg/gnu.cfg @@ -1587,7 +1587,8 @@ - + + true