X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=validate;h=375d2c17854765d4d23df484416eef5a71090df2;hb=f986a83107850e6031a0635d49fe99d8a3e9085e;hp=d57a0955e651399218e410a059e488f51e0f8af2;hpb=33f4c84c22896ffd2a8aabf163fcced38faf523d;p=ghc-hetmet.git diff --git a/validate b/validate index d57a095..375d2c1 100644 --- a/validate +++ b/validate @@ -58,6 +58,11 @@ if [ $no_clean -eq 0 ]; then make distclean fi + INSTDIR=`pwd`/inst + if [ "$OSTYPE" = "cygwin" ] + then + INSTDIR=`cygpath -m "$INSTDIR"` + fi case $OSTYPE in cygwin|msys) config_args=--build=i386-unknown-mingw32 if [ -f c:/mingw/bin/gcc.exe ] @@ -72,10 +77,10 @@ if [ $no_clean -eq 0 ]; then esac sh boot - ./configure "--prefix=`pwd`/inst" $config_args + ./configure --prefix="$INSTDIR" $config_args fi -thisdir=`utils/pwd/pwd forwardslash` +thisdir=`utils/ghc-pwd/ghc-pwd` echo "Validating=YES" > mk/are-validating.mk