From a9701d3e7cc33c7dc52d42e74811c953d0812768 Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Sun, 3 Jan 2016 19:13:57 +0100 Subject: [PATCH] Add autoreconf to makescan.sh to update the version --- makescan.sh | 3 +++ 1 file changed, 3 insertions(+) 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