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/raytracer/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/raytracer')

diff --git a/test/raytracer/Makefile b/test/raytracer/Makefile
index 8ba9ede..66dcb0a 100644
--- a/test/raytracer/Makefile
+++ b/test/raytracer/Makefile
@@ -9,6 +9,8 @@ OBJS=memory.o gmllexer.o gmlparser.o eval.o \
   arrays.o vector.o matrix.o object.o intersect.o surface.o light.o \
   simplify.o render.o main.o
 
+all: render
+
 render: $(OBJS)
 	$(CC) $(CFLAGS) -o render $(OBJS) $(LIBS)
 
-- 
cgit v1.2.3