fixes

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index eb5069304c532ad6885d632ffbdddd4612b9901c..c57989dc3913f30e71342206cb5140ed27ec5306 100644 (file)
--- 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 4f753af37a20f02a893936548e090ba07b345c34..f35b8b61fb970a614266fe80d8409f50a70ef931 100644 (file)
--- 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 05c02009213d3553cb275b5c8cce534df6773302..28b75977012d63e9a9060cc6333bed4459c71b0a 100644 (file)
--- 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 $@