Ticket UUID: | cbda8d3bb0704c6ce6a7b321c320c702cf30f7e5 | ||
Title: | Check-in [8fe33aa575] removed 'config.mak' for customization of make | ||
Status: | Closed | Type: | Code_Defect |
Severity: | Priority: | ||
Subsystem: | Resolution: | Rejected | |
Last Modified: | 2010-03-01 06:26:10 | ||
Version Found In: | 8fe33aa575 | ||
Description & Comments: | |||
As mentioned. Removal of 'config.mak' means adding or overriding make flags requires actually modification of the Makefile
drh added on 2010-03-01 00:45:48: You could also make a copy of the file into "local.mk" and then do "make -f local.mk". ron added on 2010-03-01 06:26:10: 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). |