From ded46fc00ee76c3f2568619e1a48034b5865a8f2 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Wed, 13 Feb 2008 16:32:07 +0000
Subject: Implement KEEP_ML4_PREPROCESSED option in build system

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10561 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0da3ac0914..be1ee4ef26 100644
--- a/Makefile
+++ b/Makefile
@@ -112,10 +112,10 @@ ifdef CM_STAGE1
 $(CAML_OBJECT_PATTERNS): always
 	$(call stage-template,1)
 
-%.ml4.preprocessed: stage1
+%.ml4-preprocessed: stage1
 	$(call stage-template,2)
 else
-$(CAML_OBJECT_PATTERNS) %.ml4.preprocessed: stage1
+$(CAML_OBJECT_PATTERNS) %.ml4-preprocessed: stage1
 	$(call stage-template,2)
 endif
 
@@ -177,7 +177,7 @@ clean-ide:
 	rm -f ide/utf8_convert.ml
 
 ml4clean:
-	rm -f $(ML4FILESML) $(ML4FILESML:.ml=.ml4.preprocessed)
+	rm -f $(ML4FILESML) $(ML4FILESML:.ml=.ml4-preprocessed)
 
 ml4depclean:
 	find . -name '*.ml4.d' | xargs rm -f
-- 
cgit v1.2.3