From 312f8085ce34853ede7f8f1b5e53c4276020a6ef Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Fri, 16 Jul 2010 12:13:40 +0200
Subject: [PATCH] Test runner: fixed missing C99 option

---
 test/check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/check b/test/check
index 9b70f67..413ddd9 100755
--- a/test/check
+++ b/test/check
@@ -16,7 +16,7 @@ coption=
 CAMLC=ocamlc
 JAVAC=javac
 LUSTREC=lustre
-CC=gcc
+CC="gcc -std=c99"
 
 # par defaut : pas de test de generation de code