diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-25T16·48+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-25T16·48+0200 |
| commit | 921a2aeb0537f34bc2b41e98e67a1c829321ee81 (patch) | |
| tree | 9fb8bdd89cf0bfa221f8f683c100fb4c6cf3e028 /shell.nix | |
| parent | c31000bc935d3d51665fb2a7d7c2fa88e6f12acf (diff) | |
Make "nix repl" build
Diffstat (limited to 'shell.nix')
| -rw-r--r-- | shell.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell.nix b/shell.nix index 425eb0a191f2..3c57826d1a1e 100644 --- a/shell.nix +++ b/shell.nix @@ -16,6 +16,7 @@ with import <nixpkgs> {}; customMemoryManagement = false; }) autoreconfHook + readline ]; configureFlags = |