()

diff --git a/Makefile b/Makefile
index 1dd05aeb727bef43bf7e7e9312fa3dde04775763..4e4439c76fb748b5e6ecbe93866d27d1ae2b958b 100644 (file)
--- 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 8eb36a3a08ff6c1c8320c414bb80763cc21296d9..0ec1b56f6ae75eca94ca5362be1d1250e5831b22 100644 (file)
--- 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