[patch] Makefile-jobserver.diff

Makefile-jobserver.diff (text/plain), 276 bytes, created by Horst Schirmeier on 2006-03-29 14:23:10 UTC

--- ac-woven-1.0pre3/Puma/tools/Makefile.orig	2006-03-29 23:25:17.000000000 +0200
+++ ac-woven-1.0pre3/Puma/tools/Makefile	2006-03-29 23:16:20.000000000 +0200
@@ -28,4 +28,4 @@
 #-------------------------------------------------
 
 all clean:
-	@$(propagate)
+	+@$(propagate)