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