From 3ffda353b0d92ccd0ff3693ad0be81531c3c0537 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 9 Mar 2011 13:35:00 +0000
Subject: Updated for Coq 8.3pl1.  Some cleanups in test/*/Makefile.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1597 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/c')

diff --git a/test/c/Makefile b/test/c/Makefile
index 7b6d63c..ed70d18 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -30,7 +30,7 @@ all_gcc: $(PROGS:%=%.gcc)
 %.gcc: %.c
 	$(CC) $(CFLAGS) -o $*.gcc $*.c $(LIBS)
 
-test_compcert:
+test:
 	@for i in $(PROGS); do \
 	   if ./$$i.compcert | cmp -s - Results/$$i; \
            then echo "$$i: passed"; \
@@ -51,7 +51,7 @@ time_gcc:
 	   echo -n "$$i: "; $(TIME) ./$$i.gcc; \
          done
 
-time_compcert:
+time:
 	@for i in $(PROGS); do \
 	   echo -n "$$i: "; $(TIME) ./$$i.compcert; \
          done
-- 
cgit v1.2.3