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

fixes
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index eb506930..c57989dc 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -110,6 +110,7 @@ jobs:
     - name: try mdr
       run: |
         export PATH=~/.cabal/bin:$PATH
+        export PATH=.:$PATH
         make build
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
diff --git a/Makefile b/Makefile
index 4f753af3..f35b8b61 100644
--- a/Makefile
+++ b/Makefile
@@ -24,4 +24,4 @@ clean-all: clean clean-tests
 
 .SUFFIXES: .gw .test
 .gw.test:
-	@sh scripts/test.sh $< "${CONTAINS}"
+	@bash scripts/test.sh $< "${CONTAINS}"
diff --git a/scripts/test.sh b/scripts/test.sh
index 05c02009..28b75977 100644
--- a/scripts/test.sh
+++ b/scripts/test.sh
@@ -24,6 +24,6 @@ noterm() {
 
 }
 
-${VALGRIND} ${VALGRIND_OPT} gwion "$1" 2>&1 > log
+${VALGRIND} ${VALGRIND_OPT} gwion "$1" &> log
 shift
 [ -t 1 ] && interm $@ || noterm $@