diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/make/Makefile | 3 | ||||
| -rwxr-xr-x | build/make/configure.sh | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/build/make/Makefile b/build/make/Makefile index c4d53f160..63ec271b7 100644 --- a/build/make/Makefile +++ b/build/make/Makefile @@ -19,6 +19,7 @@ ifeq ($(target),) done all: .DEFAULT clean:: .DEFAULT +exampletest: .DEFAULT install:: .DEFAULT test:: .DEFAULT testdata:: .DEFAULT @@ -105,6 +106,8 @@ distclean: clean .PHONY: dist dist: +.PHONY: exampletest +exampletest: .PHONY: install install:: .PHONY: test diff --git a/build/make/configure.sh b/build/make/configure.sh index c07b04978..ad7dc8256 100755 --- a/build/make/configure.sh +++ b/build/make/configure.sh @@ -1284,8 +1284,8 @@ print_config_mk() { local makefile=$2 shift 2 for cfg; do - upname="`toupper $cfg`" if enabled $cfg; then + upname="`toupper $cfg`" echo "${prefix}_${upname}=yes" >> $makefile fi done |