Add autoreconf to makescan.sh to update the version

This commit is contained in:
Andrea Mazzoleni 2016-01-03 19:13:57 +01:00
parent 109d38bc7f
commit a9701d3e7c

View file

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