diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-05-07 23:22:47 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-05-07 23:32:09 +0200 |
| commit | 2d5a21968842c88b425e1a591bd413c484a470e7 (patch) | |
| tree | 5d9d37654924237d9e4596ebcd2ddc374bbe7357 /Makefile.config.in | |
| parent | ddd42b7e948acc1b541741250c9a77e86aaada04 (diff) | |
Add basic flake tests
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 59730b646..f2273eaed 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -35,6 +35,7 @@ prefix = @prefix@ sandbox_shell = @sandbox_shell@ storedir = @storedir@ sysconfdir = @sysconfdir@ +system = @system@ doc_generate = @doc_generate@ xmllint = @xmllint@ xsltproc = @xsltproc@ |