From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 14 May 2009 10:57:17 +0000 (+0000)
Subject: validate now uses maintainer-clean, not distclean
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=541889e7615289bfc476348a6362426d6a31c444;p=ghc-hetmet.git

validate now uses maintainer-clean, not distclean
---

diff --git a/validate b/validate
index 26b1fe1..889daae 100644
--- a/validate
+++ b/validate
@@ -55,7 +55,7 @@ if [ $testsuite_only -eq 0 ]; then
 
 if [ $no_clean -eq 0 ]; then
     if [ -f mk/config.mk ]; then
-        make distclean
+        make maintainer-clean
     fi
 
     INSTDIR=`pwd`/inst