From b3bc13443bf7d61efbc36c93982df9fd90710fb3 Mon Sep 17 00:00:00 2001
From: Alex Shinn <alexshinn@gmail.com>
Date: Sat, 25 Apr 2015 22:22:49 +0900
Subject: [PATCH] Fixing gabriel benchmarks.

---
 benchmarks/gabriel/input.txt | 1 +
 benchmarks/gabriel/run.sh    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 benchmarks/gabriel/input.txt

diff --git a/benchmarks/gabriel/input.txt b/benchmarks/gabriel/input.txt
new file mode 100644
index 00000000..d00491fd
--- /dev/null
+++ b/benchmarks/gabriel/input.txt
@@ -0,0 +1 @@
+1
diff --git a/benchmarks/gabriel/run.sh b/benchmarks/gabriel/run.sh
index 36dba94f..e226ef72 100755
--- a/benchmarks/gabriel/run.sh
+++ b/benchmarks/gabriel/run.sh
@@ -11,6 +11,6 @@ cd $BENCHDIR
 for t in *.sch; do
     echo "${t%%.sch}"
     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
 cd -