1 files changed, 1 insertions, 1 deletions
diff --git a/validate b/validate
index 8caa0e2b89..09f4fd2f23 100755
--- a/validate
+++ b/validate
@@ -176,7 +176,7 @@ if [ $testsuite_only -eq 0 ]; then
 thisdir=`pwd`
 
 if [ $no_clean -eq 0 ]; then
-    $make maintainer-clean NO_CLEAN_GMP=YES
+    $make maintainer-clean
 
     INSTDIR="$thisdir/inst"