# HG changeset patch # User Volker Grabsch # Date 1336078639 -7200 # Node ID 8db5a297f243f70ff38ad184725555e6aa113f30 # Parent 4ae84e92b8e26c9b59d7390c39f67931d9ae9e7a Add support for a local settings file settings.mk diff -r 4ae84e92b8e2 -r 8db5a297f243 .gitignore --- a/.gitignore Fri May 04 02:43:52 2012 +1000 +++ b/.gitignore Thu May 03 22:57:19 2012 +0200 @@ -1,3 +1,4 @@ +/settings.mk /usr/ /log/ /pkg diff -r 4ae84e92b8e2 -r 8db5a297f243 Makefile --- a/Makefile Fri May 04 02:43:52 2012 +1000 +++ b/Makefile Thu May 03 22:57:19 2012 +0200 @@ -68,6 +68,18 @@ ) \ > '$(PKG_DIR)/$($(1)_FILE)' +ifeq ($(IGNORE_SETTINGS),yes) + $(info [ignore settings.mk]) +else ifeq ($(wildcard $(PWD)/settings.mk),$(PWD)/settings.mk) + include $(PWD)/settings.mk +else + $(info [create settings.mk]) + $(shell { \ + echo '#JOBS = $(JOBS)'; \ + echo '#PKGS ='; \ + } >'$(PWD)/settings.mk') +endif + .PHONY: all all: $(PKGS)