From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 10 Jan 2020 12:59:27 +0000 (+0100)
Subject: :wrench: Use gwion.exe (windows)
X-Git-Tag: nightly~1957
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=5fec663605f0192d34005b25cd8e8aaea1155879;p=gwion.git

:wrench: Use gwion.exe (windows)
---

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index afabe5cd..c810ca48 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -37,5 +37,5 @@ jobs:
       run: |
            mkdir tmp
            $env:GWION_TEST_DIR="."
-           bash -c "export VALGRIND=NO_VALGRIND; export SEVERITY=3; make test"
+           bash -c "export VALGRIND=NO_VALGRIND; export SEVERITY=3; export PRG="./gwion.exe" make test"
            ls