more

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cf4e4c811a67ca6cc0154d24a43550d551ad40fb..fd6ce760d0631a89026f2b7aab67593ba361d914 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -108,13 +108,15 @@ jobs:
           make
         fi
 
+#        git log -1 --pretty="%B" | grep "\[benchmark\]" || exit 0
     - name: Benchmark
       run: |
-        git log -1 --pretty="%B" | grep "\[benchmark\]" || exit 0
         echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid
         sudo apt-get update
         sudo apt-get install gnuplot lua5.3 chuck
         ln -s $(which lua5.3) lua
+        echo "chuck --silent $@" > ../chuck
+        chmod +x ../chuck
         export PATH=./wren:$PATH
         export PATH=.:$PATH
         bash scripts/benchmark.sh