mirror of
https://github.com/OpenFOAM/ThirdParty-6.git
synced 2025-12-08 06:57:43 +00:00
makeGcc: Ignore problems with makeinfo
This commit is contained in:
1
makeGcc
1
makeGcc
@ -281,6 +281,7 @@ else
|
|||||||
--enable-__cxa_atexit \
|
--enable-__cxa_atexit \
|
||||||
--enable-libstdcxx-allocator=new \
|
--enable-libstdcxx-allocator=new \
|
||||||
--with-system-zlib \
|
--with-system-zlib \
|
||||||
|
MAKEINFO=missing \
|
||||||
&& make -j $WM_NCOMPPROCS \
|
&& make -j $WM_NCOMPPROCS \
|
||||||
&& make install \
|
&& make install \
|
||||||
&& echo "Built: $gccPACKAGE"
|
&& echo "Built: $gccPACKAGE"
|
||||||
|
|||||||
Reference in New Issue
Block a user