From 23eeec04be50b3d851f148c2500f94ab9df0574f Mon Sep 17 00:00:00 2001
From: coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 29 May 2001 16:59:13 +0000
Subject: Retablissement de minicoq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1773 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-v7.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ocamldebug-v7.template')

diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template
index a29c6cb0a..68cd59842 100644
--- a/dev/ocamldebug-v7.template
+++ b/dev/ocamldebug-v7.template
@@ -16,7 +16,7 @@ for op in $*
 	coq-debug-programs.out) 
 	    coqdebug="yes"
 	    args="-is programs.coq";;
-	coq*) coqdebug="yes";;
+	*coq*) coqdebug="yes";;
        esac
 done
 
-- 
cgit v1.2.3