aboutsummaryrefslogtreecommitdiffstats
path: root/shell.nix
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-07-28 12:17:35 +0200
committerYann Herklotz <git@yannherklotz.com>2019-07-28 12:17:35 +0200
commit1aec47ead1c9fb65ab5b5e4b55337a79ff9314af (patch)
tree1ab1c1d1ad60ce71d1c72569125c7fdf61523be7 /shell.nix
parentad455e059c255284d8bb620c295ddaf6f120f79f (diff)
downloadverismith-1aec47ead1c9fb65ab5b5e4b55337a79ff9314af.tar.gz
verismith-1aec47ead1c9fb65ab5b5e4b55337a79ff9314af.zip
Add benchmark
Diffstat (limited to 'shell.nix')
-rw-r--r--shell.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix
index 910b922..2b6e8ed 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1 +1 @@
-(import ./. {}).env
+( import ./. { doBenchmark = true; } ).env