From 282db6d5a472c41d1008269bdd580caf1dcb9828 Mon Sep 17 00:00:00 2001 From: sof Date: Tue, 10 Jun 2003 17:58:25 +0000 Subject: [PATCH] [project @ 2003-06-10 17:58:25 by sof] hardtop{mingw32}: for now, stick with 'cygpath -w' instead of 'cygpath -m' --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index b505440..fea206c 100644 --- a/configure.in +++ b/configure.in @@ -373,7 +373,7 @@ case $HostPlatform in i386-unknown-mingw32 | i386-unknown-cygwin32) # convert $hardtop to a path that mingw will understand too cyghardtop=${hardtop} - hardtop=`cygpath -m ${cyghardtop}` + hardtop=`cygpath -w ${cyghardtop} | sed -e 's@\\\\@/@g'` hardtop_plat=`cygpath -w ${cyghardtop} | sed -e 's@\\\\@\\\\\\\\@g'` ;; *) -- 1.7.10.4