diff options
| author | Matúš Kukan <matus.kukan@gmail.com> | 2012-05-04 12:39:36 +0200 |
|---|---|---|
| committer | Matúš Kukan <matus.kukan@gmail.com> | 2012-05-04 12:40:34 +0200 |
| commit | 2b391a91115cb361c508514fa2e34795677d0f48 (patch) | |
| tree | 7ce3209d06c1d54ff5208aeefe8287cf27801dc3 /configure.in | |
| parent | cce89fa52867393633e98b643f038d5b3e5d5969 (diff) | |
use formatted path here for cygwin
Change-Id: I1d3ade7813f85c3d87ba2e5017e9635d663ef76a
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 8daf62f9831b..5abb680e3499 100644 --- a/configure.in +++ b/configure.in @@ -2145,6 +2145,8 @@ if test -n "${with_solver_and_workdir_root}"; then AC_MSG_ERROR([directory does not exist: ${with_solver_and_workdir_root}]) fi SOLARVER=${with_solver_and_workdir_root}/solver + PathFormat "$SOLARVER" + SOLARVER="$formatted_path" else SOLARVER=${SRC_ROOT}/solver fi @@ -3334,6 +3336,8 @@ fi INPATH="${OUTPATH}${PROEXT}" if test -n "${with_solver_and_workdir_root}"; then WORKDIR=${with_solver_and_workdir_root}/workdir/${INPATH} + PathFormat "$WORKDIR" + WORKDIR="$formatted_path" else WORKDIR=${SRC_ROOT}/workdir/${INPATH} fi |