diff -r 0ae768637a07 Doc/Makefile --- a/Doc/Makefile Sat Jan 25 22:19:47 2014 -0800 +++ b/Doc/Makefile Sun Jan 26 16:02:37 2014 +0200 @@ -96,10 +96,12 @@ "or in build/$(BUILDER)/output.txt" suspicious: BUILDER = suspicious -suspicious: build - @echo "Suspicious check complete; look for any errors in the above output" \ - "or in build/$(BUILDER)/suspicious.csv. If all issues are false" \ - "positives, append that file to tools/sphinxext/susp-ignored.csv." +suspicious: + @make build BUILDER=$(BUILDER) || \ + echo "Suspicious check complete; look for any errors in the above output" \ + "or in build/$(BUILDER)/suspicious.csv. If all issues are false" \ + "positives, append that file to tools/sphinxext/susp-ignored.csv." && \ + false coverage: BUILDER = coverage coverage: build