diff --git a/makeGcc b/makeGcc index c99c72fd3ac3521b0bce0ecee00499bb38f7e148..c2b5cddf1424cfdf35bc49b18c1e4f59703c0c99 100755 --- a/makeGcc +++ b/makeGcc @@ -281,6 +281,7 @@ else --enable-__cxa_atexit \ --enable-libstdcxx-allocator=new \ --with-system-zlib \ + MAKEINFO=missing \ && make -j $WM_NCOMPPROCS \ && make install \ && echo "Built: $gccPACKAGE"