diff --git a/Makefile b/Makefile
index ba88c60..1ac2ffa 100644
--- a/Makefile
+++ b/Makefile
@@ -7,5 +7,6 @@ TGEMO.OBO: TGEMO.OWL
 
 check: TGEMO.OWL
 	$(ROBOT) validate-profile --profile Full --input $^
+	$(ROBOT) report --fail-on error --input $^
 
 .PHONY: all check