summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate4
1 files changed, 0 insertions, 4 deletions
diff --git a/validate b/validate
index 39e1f01120..5f24e19bd1 100755
--- a/validate
+++ b/validate
@@ -163,10 +163,6 @@ if [ $no_clean -eq 0 ]; then
$make maintainer-clean NO_CLEAN_GMP=YES
INSTDIR=`pwd`/inst
- if [ "$OSTYPE" = "cygwin" ]
- then
- INSTDIR=`cygpath -m "$INSTDIR"`
- fi
if [ $use_dph -eq 1 ]; then
perl -w boot --validate --required-tag=dph