diff options
| -rwxr-xr-x | configure.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 1c888743e..68e3193d9 100755 --- a/configure.in +++ b/configure.in @@ -2164,6 +2164,8 @@ if test "$_os" = "WINNT"; then else with_cl_home=`cygpath -u "$with_cl_home"` fi + with_cl_home=`cygpath -d "$with_cl_home"` + with_cl_home=`cygpath -u "$with_cl_home"` AC_MSG_RESULT([$with_cl_home]) dnl =========================================================== |