diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-11-13T19·42+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-11-13T19·42+0100 |
commit | 6c6bbeb439517a21b2a04b83f073650b41d28be0 (patch) | |
tree | 1a7570fce287f3dc5390ec6e68da7c3ea2644a21 /Makefile.config.in | |
parent | a0ef21262f4d5652bfb65cfacaec01d89c475a93 (diff) | |
parent | 2a8bdfd31a1711b19bbf19ee3b1bed15b724c007 (diff) |
Merge branch 'feature/editline-pr' of https://github.com/dtzWill/nix
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 08edcb863ef6..fad077d869be 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -15,6 +15,7 @@ SODIUM_LIBS = @SODIUM_LIBS@ LIBLZMA_LIBS = @LIBLZMA_LIBS@ SQLITE3_LIBS = @SQLITE3_LIBS@ LIBBROTLI_LIBS = @LIBBROTLI_LIBS@ +EDITLINE_LIBS = @EDITLINE_LIBS@ bash = @bash@ bindir = @bindir@ brotli = @brotli@ |