summaryrefslogtreecommitdiffstats
path: root/autogen.sh
diff options
context:
space:
mode:
Diffstat (limited to 'autogen.sh')
-rwxr-xr-xautogen.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/autogen.sh b/autogen.sh
index a1fd048..0d08b4c 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -42,6 +42,12 @@ if [ ! -z "$BUILDDIR" ]; then
CONFIGUREDIR=..
fi
+# Rerun the generator (requires OCaml interpreter). This is *not* for
+# anything that is required at configure-time when configure is run
+# from a distribution tarball. From those, nothing ocaml-related is
+# required.
+./generator/generator.ml
+
# If no arguments were specified and configure has run before, use the previous
# arguments
if [ $# == 0 -a -x ./config.status ]; then