diff options
author | Sascha Hauer <s.hauer@pengutronix.de> | 2010-07-03 10:26:21 +0200 |
---|---|---|
committer | Sascha Hauer <s.hauer@pengutronix.de> | 2010-07-03 10:26:21 +0200 |
commit | 6d1d9e8d8b4be5645d3613522093cdcaddad5bff (patch) | |
tree | f0147f6620fc6bce6b403f9e9c006e629ae6796f /Makefile | |
parent | 0db4be97f2ebd6cedad9c113ca49667c0b1e8d75 (diff) | |
parent | 7f5644fad10f8f7a86742dd30d2812261cd0a623 (diff) | |
download | barebox-6d1d9e8d8b4be5645d3613522093cdcaddad5bff.tar.gz barebox-6d1d9e8d8b4be5645d3613522093cdcaddad5bff.tar.xz |
Merge branch 'next'
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
@@ -1299,18 +1299,3 @@ Makefile: ; # information in a variable se we can use it in if_changed and friends. .PHONY: $(PHONY) -# -# sanity checks for check default environemnt -# -ifdef CONFIG_DEFAULT_ENVIRONMENT - -ifeq ($(CONFIG_DEFAULT_ENVIRONMENT_PATH),"") -$(error default environment path empty)) -endif - -saved-env_path := $(CONFIG_DEFAULT_ENVIRONMENT_PATH) -CONFIG_DEFAULT_ENVIRONMENT_PATH := $(shell cd $(if $(filter /%,$(CONFIG_DEFAULT_ENVIRONMENT_PATH)),,$(srctree)/)$(CONFIG_DEFAULT_ENVIRONMENT_PATH) && /bin/pwd) -$(if $(CONFIG_DEFAULT_ENVIRONMENT_PATH),, \ - $(error default environment path $(saved-env_path) does not exist)) - -endif # ifdef CONFIG_DEFAULT_ENVIRONMENT |