Commit 53152236 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari

validate: Clean GMP trees

For reasons unknown `validate` passed `NO_CLEAN_GMP=YES` to
`maintainer-clean`, leaving a stale `gmp.h` which causes the build to
fail in the event that the uses a tree for validating for two different
target platforms. This is quite unexpected, don't do it.

Reviewers: hvr, austin, rwbarton, dfeuer

Reviewed By: dfeuer

Subscribers: thomie

Differential Revision:
parent af941a96
......@@ -176,7 +176,7 @@ if [ $testsuite_only -eq 0 ]; then
if [ $no_clean -eq 0 ]; then
$make maintainer-clean NO_CLEAN_GMP=YES
$make maintainer-clean
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment