diff options
Diffstat (limited to 'extern/Makefile')
-rw-r--r-- | extern/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extern/Makefile b/extern/Makefile index ef2bb518dad..4bd348c6735 100644 --- a/extern/Makefile +++ b/extern/Makefile @@ -46,12 +46,14 @@ endif # .PHONY: qhull solid solid_with_qhull all:: + @[ -d $(OCGDIR)/extern ] || mkdir -p $(OCGDIR)/extern @for i in $(DIRS); do \ echo "====> $(MAKE) $@ in $(SOURCEDIR)/$$i" ;\ $(MAKE) -C $$i install || exit 1; \ done - + clean test debug:: + @[ -d $(OCGDIR)/extern ] || mkdir -p $(OCGDIR)/extern @for i in $(DIRS); do \ echo "====> $(MAKE) $@ in $(SOURCEDIR)/$$i" ;\ $(MAKE) -C $$i $@ || exit 1; \ |