Disable benchmark for now (Close #895)

This commit is contained in:
Daniel Gröber 2017-07-07 14:51:03 +02:00
parent d4a4b4b5d9
commit c925a88d92
1 changed files with 1 additions and 1 deletions

View File

@ -371,7 +371,7 @@ Benchmark criterion
, temporary < 1.3 && >= 1.2.0.3
, ghc-mod
Buildable: False
Flag shelltest
Description: Enable/disable shelltest test-suite