diff --git a/makescan.sh b/makescan.sh index 69d269a1..50183fd3 100755 --- a/makescan.sh +++ b/makescan.sh @@ -5,6 +5,9 @@ rm -r cov-int make distclean +# Reconfigure (with force) to get the latest revision from git +autoreconf -f + if ! ./configure ; then exit 1 fi