From 2c77848eec68bfaf0b29290f4c5e9fd153342d56 Mon Sep 17 00:00:00 2001 From: notin Date: Tue, 6 Jan 2009 15:01:16 +0000 Subject: Report de la révision 11754 (compilation sous windows) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11755 85f007b7-540e-0410-9357-904b9bb8a0f7 --- config/Makefile.template | 1 + 1 file changed, 1 insertion(+) (limited to 'config') diff --git a/config/Makefile.template b/config/Makefile.template index ad1a60b5d..35e2a2d7d 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -114,6 +114,7 @@ OSDEPLIBS=OSDEPENDENTLIBS # Unix systems: # Win32 systems : .exe EXE=EXECUTEEXTENSION +DLLEXT=DLLEXTENSION # the command MKDIR (try to replace it with mkdirhier if you have problems) MKDIR=mkdir -p -- cgit v1.2.3