From 295997b866ed5a5a928116ac9d7368c12d6a5167 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=EBl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 16 Jul 2012 16:16:59 +0200
Subject: [PATCH] Config of test scripts

Added option -stdlib towards source library
---
 test/scripts/config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/scripts/config b/test/scripts/config
index 9ba0ce3..01a6021 100644
--- a/test/scripts/config
+++ b/test/scripts/config
@@ -13,7 +13,7 @@ else
     COMPILER=heptc.byte
 fi
 
-HEPTC=../$COMPILER_DIR/$COMPILER
+HEPTC="../$COMPILER_DIR/$COMPILER -stdlib ../../lib"
 CC="gcc -std=c99 -I ../../../lib/c"
 LD="gcc"
 NBSTEP=100