summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2009-09-21 18:26:36 +0000
committerIan Lynagh <igloo@earth.li>2009-09-21 18:26:36 +0000
commit4736d202fca9612e9738ce85d96bcb1ee15ce3a2 (patch)
treeae5a3ccebf9c90ca8c4cf6b9f84bed948bbb76c7 /validate
parent3ccfc4ca218bbde19832191b372aa2dda7f7541d (diff)
downloadhaskell-4736d202fca9612e9738ce85d96bcb1ee15ce3a2.tar.gz
Validate now cleans regardless of whether mk/config.mk exists
Cleaning should always succeed now
Diffstat (limited to 'validate')
-rw-r--r--validate4
1 files changed, 1 insertions, 3 deletions
diff --git a/validate b/validate
index 3a59a1f521..91b7f33822 100644
--- a/validate
+++ b/validate
@@ -54,9 +54,7 @@ fi
if [ $testsuite_only -eq 0 ]; then
if [ $no_clean -eq 0 ]; then
- if [ -f mk/config.mk ]; then
- make maintainer-clean NO_CLEAN_GMP=YES
- fi
+ make maintainer-clean NO_CLEAN_GMP=YES
INSTDIR=`pwd`/inst
if [ "$OSTYPE" = "cygwin" ]