Fixing gabriel benchmarks.

This commit is contained in:
Alex Shinn 2015-04-25 22:22:49 +09:00
parent e230823cc6
commit b3bc13443b
2 changed files with 2 additions and 1 deletions

View file

@ -0,0 +1 @@
1

View file

@ -11,6 +11,6 @@ cd $BENCHDIR
for t in *.sch; do for t in *.sch; do
echo "${t%%.sch}" echo "${t%%.sch}"
LD_LIBRARY_PATH="$CHIBIHOME" DYLD_LIBRARY_PATH="$CHIBIHOME" \ LD_LIBRARY_PATH="$CHIBIHOME" DYLD_LIBRARY_PATH="$CHIBIHOME" \
$CHIBI -I"$CHIBIHOME/lib" -lchibi-prelude.scm $t $CHIBI -I"$CHIBIHOME/lib" -q -lchibi-prelude.scm $t
done done
cd - cd -