autogen.sh: try to run `make distclean`

Can avoid some compilation problems.
This commit is contained in:
Dirk-Jan C. Binnema 2019-07-12 14:45:00 +03:00
parent 1e406bbb7a
commit 848b888573
1 changed files with 8 additions and 0 deletions

View File

@ -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 ***"