diff options
| author | Russell King <rmk@arm.linux.org.uk> | 2014-08-04 20:26:47 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-08-05 14:56:07 +0200 |
| commit | ada488d011fb7633e9ac724e2d7831073957a83b (patch) | |
| tree | 371e58499165e3e7d7beb56b27f00fee590d5120 /src | |
| parent | 54a7e1fd263f008df7ddad551df5ff72635ad55d (diff) | |
Ensure make -n works at the top level
It is not very friendly for make -n to fail. Fix this.
Signed-off-by: Russell King <rmk@arm.linux.org.uk>
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Makefile b/src/Makefile index a723103..ab9a228 100644 --- a/src/Makefile +++ b/src/Makefile @@ -11,18 +11,18 @@ DIRS_REV=egl .PHONY: all clean install rev $(DIRS) $(DIRS_REV) -all: CMD = make all +all: CMD = all all: $(DIRS) -rev: CMD = make all +rev: CMD = all rev: $(DIRS_REV) $(DIRS) $(DIRS_REV): - $(CMD) -C $@ + $(MAKE) $(CMD) -C $@ -install: CMD = make install +install: CMD = install install: $(DIRS) -clean: CMD = make clean +clean: CMD = clean clean: $(DIRS) $(DIRS_REV) |