diff --git a/am/headercheck b/am/headercheck
index 46531130763d30bb4c3bed1c8dc68644604282af..78c754086a6cd295f321fa9a09704e87e22cfa44 100644
--- a/am/headercheck
+++ b/am/headercheck
@@ -38,7 +38,7 @@ headercheck-am:
 	  SUCCESS=$$?; \
 	  if ! (test $$SUCCESS -eq 0 && test -e $$OFILE); then \
 	    echo "Error in $$HEADER"; \
-	    (echo "$$MAKEFLAGS" | grep 's' -q) || cat $$LOGFILE; \
+	    (echo "$$MAKEFLAGS" | grep 's' -q) && cat $$LOGFILE; \
 	  fi; \
 	  rm -f $$OFILE; \
 	  rm -f $$CCFILE; \