diff options
Diffstat (limited to 'tools/scripts/Makefile.include')
| -rw-r--r-- | tools/scripts/Makefile.include | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/scripts/Makefile.include b/tools/scripts/Makefile.include index bde8521d56bb..96ce80a3743b 100644 --- a/tools/scripts/Makefile.include +++ b/tools/scripts/Makefile.include | |||
| @@ -1,6 +1,8 @@ | |||
| 1 | ifeq ("$(origin O)", "command line") | 1 | ifeq ("$(origin O)", "command line") |
| 2 | OUTPUT := $(O)/ | 2 | dummy := $(if $(shell test -d $(O) || echo $(O)),$(error O=$(O) does not exist),) |
| 3 | COMMAND_O := O=$(O) | 3 | ABSOLUTE_O := $(shell cd $(O) ; pwd) |
| 4 | OUTPUT := $(ABSOLUTE_O)/ | ||
| 5 | COMMAND_O := O=$(ABSOLUTE_O) | ||
| 4 | endif | 6 | endif |
| 5 | 7 | ||
| 6 | ifneq ($(OUTPUT),) | 8 | ifneq ($(OUTPUT),) |