From 96641dc219a888965b49abec3b7a34a73c416ba6 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 13 Aug 2002 17:03:18 +0000
Subject: AutoRewrite substitutive...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2965 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/Makefile.dir | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

(limited to 'dev')

diff --git a/dev/Makefile.dir b/dev/Makefile.dir
index df205c1f6e..163f848ad5 100644
--- a/dev/Makefile.dir
+++ b/dev/Makefile.dir
@@ -26,9 +26,12 @@ dir:
 # make all cmo's in this directory. Useful in case the main Makefile is not
 # up-to-date
 all:	
-	@(for i in *.ml{,4}; do \
-	   echo -n $(BASEDIR)/`basename $$i .ml`.cmo "" ; \
-	done \
+	@( ( for i in *.ml; do \
+	       echo -n $(BASEDIR)/`basename $$i .ml`.cmo "" ; \
+	     done; \
+	     for i in *.ml4; do \
+	       echo -n $(BASEDIR)/`basename $$i .ml4`.cmo "" ; \
+	     done ) \
 	  | xargs $(MAKE) -C $(TOPDIR) )
 
 # lists all files that should be compiled in this directory
@@ -36,9 +39,12 @@ list:
 	@(for i in *.mli; do \
 	   ls -l `basename $$i .mli`.cmi; \
 	done)
-	@(for i in *.ml{,4}; do \
+	@(for i in *.ml; do \
 	   ls -l `basename $$i .ml`.cmo; \
 	done)
+	@(for i in *.ml4; do \
+	   ls -l `basename $$i .ml4`.cmo; \
+	done)
 
 
 clean::  
-- 
cgit v1.2.3