Fixup the previous commit.

diff --git a/Makefile.in b/Makefile.in
index 29a64ef5a88748a21c428685390c60032f546804..8ba6c74d9a5c39b0126f451415f558babcce6769 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -218,7 +218,7 @@ releasecheck: releasetar
        echo "[$@] $$ touch .devel" && \
        touch .devel && \
        echo "[$@] $$ ./configure --enable-instrument-functions --quiet --prefix=$$INSTALL_DIR" && \
-       ./configure --quiet --prefix="$$INSTALL_DIR" && \
+       ./configure --enable-instrument-functions --quiet --prefix="$$INSTALL_DIR" && \
        echo '[$@] $$ make -s' && \
        make -s && \
        echo '[$@] $$ make -s install' && \