From acbba77eafdfdee435147c3578171edfcdf5f780 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 9 Apr 2019 15:02:40 +0200
Subject: All CompCert tests can be compiled

---
 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 63d1964a..46670ec6 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -13,8 +13,8 @@ TIME=xtime -o /dev/null -mintime 2.0     # Xavier's hack
 PROGS=fib qsort fftw sha1 sha3 aes \
   lists binarytrees fannkuch \
   nsieve nsievebits vmach \
-  chomp perlin siphash24
-# FIXME - Omitted tests: integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect
+  chomp perlin siphash24\
+  integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect
 
 all: $(PROGS:%=%.compcert)
 
-- 
cgit