From 5b176de2fb707b4b80fc2b959c8811d3ff0d860a Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 1 Mar 2013 15:57:38 +0000
Subject: Fix 'interp' entry

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2131 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 262da2a..48e3b97 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -46,7 +46,7 @@ test:
 
 interp:
 	@for i in $(TESTS); do \
-           if $(CCOMP) -fall -interp 2>/dev/null $$i.c > _cinterp.log; then \
+           if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \
              if cmp -s _cinterp.log Results/$$i; \
              then echo "$$i: interpreter passed"; \
              else echo "$$i: interpreter FAILED"; \
-- 
cgit v1.2.3