| Bug#: 244872 | Product: Gentoo Linux | Version: unspecified | Platform: All |
| OS/Version: Linux | Status: RESOLVED | Severity: normal | Priority: P2 |
| Resolution: FIXED | Assigned To: keri@gentoo.org | Reported By: flameeyes@gentoo.org | |
| Component: Ebuilds | |||
| URL: | |||
| Summary: dev-lang/mozart-1.4.0: parallel make install issues | |||
| Keywords: | |||
| Status Whiteboard: | |||
| Opened: 2008-10-29 11:29 0000 | |||
| Description: | Opened: 2008-10-29 11:29 0000 |
Check the attached build log (with -j8), at the beginning of src_install.
By the way, the Makefiles hardcode gmake calls, it should use ${MAKE} instead,
and should probably need extra attention so that jobserver data (for parallel
make) is passed on (check the GNU make manual if you want to fix it, or tell
upstream to).
In general mkdir should always be replaced by mkdir -p so that it does not fail
when the directory exist...
HTH,
Diego
Created an attachment (id=170203) [details]
Build log
Fixed in CVS. Thanks for catching this.