You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5041 Reporter: jessicah Status: closed (set by @damiendoligez on 2010-05-21T11:46:03Z) Resolution: fixed Priority: normal Severity: trivial Version: 3.11.2 Fixed in version: 3.12.0+dev Category: ~DO NOT USE (was: OCaml general) Monitored by: jessicah
Bug description
Makefiles require GNU make, but using the build/*.sh scripts don't take this into account.
Additional information
Attached patch to modify a couple of the build/*.sh scripts to use $MAKE instead of make, and define MAKE=make if not defined.
P.S. patch actually generated from 3.12.0+dev svn, but looks like those files haven't changed much at all :)
Original bug ID: 5041
Reporter: jessicah
Status: closed (set by @damiendoligez on 2010-05-21T11:46:03Z)
Resolution: fixed
Priority: normal
Severity: trivial
Version: 3.11.2
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: jessicah
Bug description
Makefiles require GNU make, but using the build/*.sh scripts don't take this into account.
Additional information
Attached patch to modify a couple of the build/*.sh scripts to use $MAKE instead of make, and define MAKE=make if not defined.
P.S. patch actually generated from 3.12.0+dev svn, but looks like those files haven't changed much at all :)
File attachments
The text was updated successfully, but these errors were encountered: