diff options
Diffstat (limited to 'externals')
| -rw-r--r-- | externals/build/linux/makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/externals/build/linux/makefile b/externals/build/linux/makefile index d4e2e4a1..604dac26 100644 --- a/externals/build/linux/makefile +++ b/externals/build/linux/makefile @@ -4,7 +4,10 @@ prefix=$(DESTDIR)/usr EXTERNALS = $(shell ls ../src) STRIP = strip --strip-unneeded -R .note -R .comment -all: $(EXTERNALS:.c=.pd_linux) +all: + make -k externals + +externals: $(EXTERNALS:.c=.pd_linux) # this might be a better way to do this: # EXTERNALS := ${patsubst %.c, %.o, ${wildcard *.c}} |