1 files changed, 1 insertions, 9 deletions
diff --git a/test/c/Makefile b/test/c/Makefile
index a11ab690..d3f0d169 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -13,9 +13,7 @@ TIME=xtime -o /dev/null -mintime 1.0     # Xavier's hack
 PROGS=fib integr qsort fft sha1 aes almabench lists \
   binarytrees fannkuch knucleotide mandelbrot nbody \
   nsieve nsievebits spectral vmach \
-  bisect chomp perlin siphash24 floats floats-basics
-
-PROGS_INTERP=floats floats-basics
+  bisect chomp perlin siphash24
 
 all: $(PROGS:%=%.compcert)
 
@@ -39,12 +37,6 @@ test:
            else echo "$$i: FAILED"; \
 	   fi; \
          done
-	@for i in $(PROGS_INTERP); do \
-	   if $(CCOMP) -interp -quiet $$i.c | cmp -s - Results/$$i; \
-           then echo "$$i (interpreted): passed"; \
-           else echo "$$i (interpreted): FAILED"; \
-	   fi; \
-         done
 
 test_gcc:
 	@for i in $(PROGS); do \