1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index f27272b08..1985a4810 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,7 @@ RESOLVER?=lts-13
 GHCOPTS=-fdiagnostics-color=always
 WEBSITE=../../web/pandoc.org
 REVISION?=1
+BENCHARGS?="--timeout=6"
 
 quick:
 	stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j +RTS -A64m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)'