diff options
Diffstat (limited to 'extern/Makefile')
| -rw-r--r-- | extern/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extern/Makefile b/extern/Makefile index 0225f78fabf..b39ddf09683 100644 --- a/extern/Makefile +++ b/extern/Makefile @@ -38,9 +38,10 @@ DIRS = ode include nan_subdirs.mk -install: +# we're not quite ready with the 'all' target just yet: +install all:: @for i in $(DIRS); do \ - echo "====> $(MAKE) $@ in $(SOURCEDIR)/$$i" ;\ - $(MAKE) -C $$i $@ || exit 1; \ + echo "====> $(MAKE) install in $(SOURCEDIR)/$$i" ;\ + $(MAKE) -C $$i install || exit 1; \ done |