From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 19 Jan 2020 20:15:11 +0000 (+0100)
Subject: more
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=7bc64c70183f4100552cc8108487852cd18fc196;p=gwion.git

more
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cf4e4c81..fd6ce760 100644
--- 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