From 9c6e576d9d951464d1835565ff7254093a7ed5fb Mon Sep 17 00:00:00 2001
From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Fri, 5 Jul 2013 19:29:31 -0400
Subject: [PATCH] ()

---
 Makefile        | 2 +-
 run-doctests.py | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1dd05ae..4e4439c 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ build:
 	cabal build
 
 test tests: build
-	dist/build/dyna-selftests/dyna-selftests
+	( dist/build/dyna-selftests/dyna-selftests ; python run-doctests.py )
 	# cabal test
 
 # Compilation takes a while; for faster iteration while developing,
diff --git a/run-doctests.py b/run-doctests.py
index 8eb36a3..0ec1b56 100644
--- a/run-doctests.py
+++ b/run-doctests.py
@@ -4,6 +4,10 @@ from cStringIO import StringIO
 import sys
 sys.path.append('src/Dyna/Backend/Python')
 
+print
+print 'Doctests'
+print '========'
+
 from dyna_doctest import run
 from utils import red, green
 
-- 
2.50.1