diff --git a/test/scripts/run_doctest.sh b/test/scripts/run_doctest.sh
index 86ff8afccb5cdc1917985350a704cc6471857a4b..9274c6169757d711465309882d7a75d21bfd5a7f 100755
--- a/test/scripts/run_doctest.sh
+++ b/test/scripts/run_doctest.sh
@@ -9,5 +9,5 @@ PWD=`pwd`
 UP1=`dirname ${PWD}`
 export PYTHONPATH=`dirname ${UP1}`
 
-./run_doctest.py
+./run_doctest.py && echo OK