From aa10666ee062b25ab1ece29f4b527e944a4e8ee6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 26 Jan 2011 17:44:45 +0000
Subject: Add autotest-start with debug for now

---
 coq/coq-autotest.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'coq/coq-autotest.el')

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index d1c32cb6..9d12fa1b 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -14,8 +14,12 @@
 
 (require 'pg-autotest)
 
+(setq pg-autotest-debug t)
+
 (unless noninteractive
-  
+
+  (pg-autotest start 'debug)
+
   ;; new multiple file handling for Coq gives interactive queries
   ;; continually unless we set this
   (setq proof-auto-action-when-deactivating-scripting 'retract)
-- 
cgit v1.2.3