Hi, I've attached a trivial patch to fix a parallel make error when building the documentation for coccinelle.
Thanks, Tim
>From d5cae3e14167b0c8871da5299f98bc17518308c5 Mon Sep 17 00:00:00 2001 From: Tim Harder <[email protected]> Date: Thu, 8 Mar 2012 00:51:32 -0800 Subject: [PATCH] Fix parallel make error when building docs --- docs/Makefile | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index 8bbcd1f..70be043 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -13,4 +13,4 @@ clean distclean:: rm -f spatch.1 all clean distclean:: - make -C $(SUBDIR) $@ + $(MAKE) -C $(SUBDIR) $@ -- 1.7.8.5
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
