diff options
| -rw-r--r-- | Makefile | 7 | ||||
| -rw-r--r-- | docs/index.html | 2 |
2 files changed, 7 insertions, 2 deletions
@@ -326,11 +326,16 @@ else echo '# The three lines below makes `make` build these "local'; \ echo '# packages" instead of all packages.'; \ echo '#LOCAL_PKG_LIST := boost curl file flac lzo pthreads vorbis wxwidgets'; \ - echo '#.DEFAULT local-pkg-list:'; \ + echo '#.DEFAULT_GOAL := local-pkg-list'; \ echo '#local-pkg-list: $$(LOCAL_PKG_LIST)'; \ } >'$(PWD)/settings.mk') endif +ifneq ($(LOCAL_PKG_LIST),) + .DEFAULT_GOAL := local-pkg-list + $(info [pkg-list] $(LOCAL_PKG_LIST)) +endif + # Numeric min and max list functions LIST_NMAX = $(shell echo '$(strip $(1))' | tr ' ' '\n' | sort -n | tail -1) LIST_NMIN = $(shell echo '$(strip $(1))' | tr ' ' '\n' | sort -n | head -1) diff --git a/docs/index.html b/docs/index.html index 23e8800..3d48bac 100644 --- a/docs/index.html +++ b/docs/index.html @@ -934,7 +934,7 @@ USE_OSGPLUGIN(<plugin2>) the package list can also be set in <code>settings.mk</code> <pre>LOCAL_PKG_LIST := foo bar -.DEFAULT local-pkg-list: +.DEFAULT_GOAL := local-pkg-list local-pkg-list: $(LOCAL_PKG_LIST)</pre> </dd> <dd> |