diff --git a/Makefile.am b/Makefile.am
index 3d71169..12f917b 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -175,10 +175,10 @@ cgtests/cgtest00.occ:
 # In future we should give the version compiled using the C++ backend a different extension:
 
 make-cgtests-c: tock cgtests/cgtest00.occ clean-cgtests
-	sh ./compile-cgtests --backend=c
+	sh ./compile-cgtests --backend=c -v
 
 make-cgtests-cpp: tock cgtests/cgtest00.occ clean-cgtests
-	sh ./compile-cgtests --backend=cppcsp
+	sh ./compile-cgtests --backend=cppcsp -v
 
 clean-cgtests:
 	rm -f cgtests/cgtest??