diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-03-24 14:26:13 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-03-24 14:34:47 +0100 |
| commit | 0a10854f857e519d1455ff0f0be1f8401c40a11c (patch) | |
| tree | 64cd9b1c0727eb0642574e4535c5ba61af497c3a /Makefile.config.in | |
| parent | c85097da7c1ef06e2f1912c922110ff358de3aa2 (diff) | |
Misc changes from the flakes branch
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index fe609ce06..e7a12089a 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -37,6 +37,7 @@ prefix = @prefix@ sandbox_shell = @sandbox_shell@ storedir = @storedir@ sysconfdir = @sysconfdir@ +system = @system@ doc_generate = @doc_generate@ xmllint = @xmllint@ xsltproc = @xsltproc@ |