hide

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@6380 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

regression/cpp/Makefile

@@ -1,13 +1,13 @@
 default: tests.log
 
 test:
-	if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
+	@if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi
 
 tests.log: ../test.pl
-	if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
+	@if ! ../test.pl -c ../../../src/goto-cc/goto-cc ; then \
 		../failed-tests-printer.pl ; \
 		exit 1 ; \
 	fi