1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 0bcd635..92e6c46 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ diff: translate
 	@echo "PASS"
 
 verilogcheck:
-	@cd translated_examples; for f in *.v; do $(VERILOG) $$f; done
+	@cd translated_examples; for f in *.v; do echo "Checking: $$f"; $(VERILOG) $$f; done
 
 clean:
 	make -C src clean