From 40cfe39bda9ef4c25f073bb2da3c435a09f364bf Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Fri, 16 Nov 2012 22:48:35 -0600 Subject: speed up prove a bit more --- proverc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proverc') diff --git a/proverc b/proverc index 03e11ca..e8cd60c 100644 --- a/proverc +++ b/proverc @@ -1 +1 @@ --rj5 --timer +-rj5 --timer --state=slow,save -- cgit v1.2.3-54-g00ecf