From 18266e966930c9c13917669b272fc88caf1e31db Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 3 Oct 2006 11:51:39 +0000
Subject: [PATCH] Construction de camlp4_config.ml

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index 6354bd8cb..2cb39a1d7 100644
--- a/Makefile
+++ b/Makefile
@@ -339,10 +339,6 @@ utils/config.ml: utils/config.mlp config/Makefile
             -e 's|%%EXT_DLL%%|.so|' \
             -e 's|%%SYSTHREAD_SUPPORT%%|$(SYSTHREAD_SUPPORT)|' \
             utils/config.mlp > utils/config.ml
-	if test -w camlp4/build/camlp4_config.ml; \
-        then grep ast utils/config.ml >> camlp4/build/camlp4_config.ml && \
-             chmod -w camlp4/build/camlp4_config.ml; \
-        else : ; fi
 	@chmod -w utils/config.ml
 
 partialclean::