From d5579de5521cef390e7404dc4dc1c68756720c47 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 20 May 2016 07:23:42 +0200
Subject: [PATCH] Update INSTALL instructions and fix nightly bench.

---
 INSTALL                   | 5 +++--
 examples/nightly-bench.sh | 1 +
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index fc50860e3..19d06abd1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -23,9 +23,10 @@ Installation from the git repository
 First run
 
       autoconf
+      automake --add-missing
 
-to build the file ./configure, then follow instructions from the
-section above.
+to build the ./configure file and install the helper scripts, then follow
+instructions from the section above.
 
 
 Detailed instructions
diff --git a/examples/nightly-bench.sh b/examples/nightly-bench.sh
index 240c94b85..8e5f98ed5 100755
--- a/examples/nightly-bench.sh
+++ b/examples/nightly-bench.sh
@@ -35,6 +35,7 @@ echo "Starting time (UTC): "`date --utc +%H:%M` >> $REPORT
 
 # configuration
 autoconf
+automake --add-missing
 ./configure --enable-local &> $OUT
 if test "$?" != "0" ; then
     echo "Configure failed" >> $REPORT
-- 
GitLab