diff --git a/bin/trick-CP b/bin/trick-CP
index 91bd96d0..98c2f7fe 100755
--- a/bin/trick-CP
+++ b/bin/trick-CP
@@ -158,11 +158,13 @@ endif
 -include build/Makefile_overrides
 -include S_overrides.mk
 
+ifndef MAKE_RESTARTS
 ifeq ($(MAKECMDGOALS),)
     $(info $(call COLOR,Building with the following compilation flags:))
     $(info TRICK_CFLAGS   = $(TRICK_CFLAGS))
     $(info TRICK_CXXFLAGS = $(TRICK_CXXFLAGS))
 endif
+endif
 
 else
 all: