make: do not run clean and make in same target

(obviously) breaks parallel make: make -j9

diff --git a/makefile.patch b/makefile.patch
index a8ab0e4c2e85dcd0e13a585b74c4aad1a9d01a0c..d892faa70e34a7c3ce622a15f36af3ffc9d5446c 100644 (file)
--- a/makefile.patch
+++ b/makefile.patch
@@ -24,3 +24,12 @@
        SRC += src/opt.c
  endif
  
+@@ -105,7 +105,7 @@
+ 
+ .PHONY: clean dist format $(GENKAT) all install
+ 
+-all: clean $(RUN) libs 
++all: $(RUN) libs 
+ libs: $(LIBRARIES)
+ 
+ $(RUN):               $(SRC) $(SRC_RUN)