Overview
Artifact ID: | 1afcef1561530d70d54075310314436221af2488 |
---|---|
Ticket: | cbda8d3bb0704c6ce6a7b321c320c702cf30f7e5
Check-in [8fe33aa575] removed 'config.mak' for customization of make |
User & Date: | ron 2010-03-01 06:26:10 |
Changes
- Appended to comment:
<hr><i>ron added on 2010-03-01 06:26:10:</i><br> I dislike that solution because then the private build may break whenever the main makefile is updated. That is why I added a "make.sh" script, which simply drives the make, giving the functionality of the (removed) config.mak without messing around with the Makefile. It is also cross-platform, working wherever "bash" is installed (maybe it works with other shells too, but I don't know).