From 765ab0772e19ccf45cb6dd1517423e167dbd3503 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Fri, 29 Jan 2021 12:09:02 -0800 Subject: [PATCH] ;make functest: bump threads from 16 to 64 Runs them faster on machines with more cores (eg 22s -> 15s), should be harmless elsewhere. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 19ac6dd5f..02670176b 100644 --- a/Makefile +++ b/Makefile @@ -94,7 +94,7 @@ STACK ?= stack # --threads=16 sometimes gives "commitAndReleaseBuffer: resource vanished (Broken pipe)" but seems harmless # --timeout=N is not much use here - can be defeated by multiple threads, unoptimised builds, # slow hackage index or compiler setup on first build, etc. -SHELLTESTOPTS=--execdir --threads=16 --exclude=/_ +SHELLTESTOPTS=--execdir --threads=64 --exclude=/_ # make sure shelltest is a released version of shelltestrunner # run shell tests using the executable specified in tests