From c460156b067b439738104f3947287adbbef926a5 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 15 Apr 2008 16:22:35 +0000
Subject: Ajout du test vmach

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

(limited to 'test/c/Makefile')

diff --git a/test/c/Makefile b/test/c/Makefile
index 3ee10c94..43b7b155 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -11,7 +11,7 @@ TIME=xtime -o /dev/null -mintime 1.0     # Xavier's hack
 
 BENCHS=fib integr qsort fft sha1 aes almabench lists \
   binarytrees fannkuch knucleotide mandelbrot nbody \
-  nsieve nsievebits spectral
+  nsieve nsievebits spectral vmach
 
 PROGS=$(BENCHS) initializers
 
-- 
cgit