From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Fri, 5 Jul 2013 23:29:31 +0000 (-0400)
Subject: ()
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=9c6e576d9d951464d1835565ff7254093a7ed5fb;p=dyna2

()
---

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