X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=configure;h=bbf30cd51c92ad0856a1e4eb5692500a973af5b0;hp=157ecf39086b08a62fa55760fa964d44ad80574b;hb=757e06f74bb7b5f69c0a20c7a5432150e074055d;hpb=3e4a9d60a9419621b08c647a306843d76c47c2cb

diff --git a/configure b/configure
index 157ecf39..bbf30cd5 100755
--- a/configure
+++ b/configure
@@ -529,8 +529,13 @@ cat > Makefile.config <<EOF
 # changes, (and this could happen by simply calling "make" if the
 # configure script is updated).
 
+# The top-level directory for the source, (the directory containing
+# the configure script). This may be different than the build
+# directory (the current directory at the time configure was run).
 srcdir = ${srcdir}
 
+configure_options = $@
+
 # We use vpath directives (rather than the VPATH variable) since the
 # VPATH variable matches targets as well as prerequisites, (which is
 # not useful since then a target left-over from a srcdir build would