From 848b888573c40412a906ab6e0de9337d487ac569 Mon Sep 17 00:00:00 2001
From: "Dirk-Jan C. Binnema" <djcb@djcbsoftware.nl>
Date: Fri, 12 Jul 2019 14:45:00 +0300
Subject: [PATCH] autogen.sh: try to run `make distclean`

Can avoid some compilation problems.
---
 autogen.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/autogen.sh b/autogen.sh
index 4de9c0d2..e623f4f9 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -6,6 +6,14 @@ test -f mu/mu.cc || {
     exit 1
 }
 
+# opportunistically; usually not needed, but occassionaly it'll
+# avoid build errors that would otherwise confuse users.
+test -f Makefile && {
+    echo "*** clear out old things"
+    make distclean 2> /dev/null
+}
+
+
 command -V autoreconf > /dev/null
 if [ $? != 0 ]; then
     echo "*** No autoreconf found, please install it ***"