re-generate `configure' script

Merge to 5.1, along with e91f243b64
(cherry picked from commit 309e1aec4f)
This commit is contained in:
Matthew Flatt 2011-02-02 16:10:40 -07:00 committed by Eli Barzilay
parent 6934115fec
commit 68e13d8587

2
src/configure vendored
View File

@ -9910,7 +9910,7 @@ fi
makefiles="$makefiles foreign/Makefile"
ac_configure_args="$ac_configure_args$SUB_CONFIGURE_EXTRAS"
if test "${enable_plot}" = "yes" ; then
if test -d "${srcdir}/plot" && test "${enable_plot}" = "yes" ; then
makefiles="$makefiles
plot/Makefile"
MAKE_PLOT=plot