summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2023-01-29 10:16:23 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2023-02-01 18:31:21 +0000
commite33ca3be0b474347d2f4039b09b49502dcabfc33 (patch)
treee63cef9e688a488923d721a423f967d8932465f5 /configure.ac
parent8ddd109b3d964c2800c79dfaa4d045c398b39f36 (diff)
downloadocaml-e33ca3be0b474347d2f4039b09b49502dcabfc33.tar.gz
Fail if the build tree needs reconfiguring
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index ba0ecc38b6..1c4931ce3c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -213,6 +213,8 @@ AC_SUBST([compute_deps])
AC_SUBST([ocaml_bindir])
AC_SUBST([ocaml_libdir])
AC_SUBST([QS])
+AC_SUBST([ac_config_files])
+AC_SUBST([ac_config_headers])
## Generated files