Attempt a distclean first, something gets cached otherwise.

c316746d · Poul-Henning Kamp · 939d2299 · c316746d
Commit c316746d authored Jun 14, 2011 by Poul-Henning Kamp
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

autogen.des autogen.des +2 -0

No files found.
--- a/autogen.des
+++ b/autogen.des
@@ -4,6 +4,8 @@

 set -ex

+make -k distclean > /dev/null 2>&1 || true
+
 # Prefer CLANG if we have it, and have not given preferences
 if [ -f /usr/bin/clang -a "x${CC}" = "x" ] ; then
 	CC=clang