make check needs to error out on build failure instead of running doctests #1446
Description
When invoking make check and the build fails make will start doctesting whatever sage install is in $PATH. That is obviously a bad thing.
Cheers,
Michael
Component: doctest coverage
Reviewer: Jeroen Demeyer
Issue created by migration from https://trac.sagemath.org/ticket/1446