From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 10 Jan 2020 13:03:08 +0000 (+0100)
Subject: :wrench: Use gwion.exe [no quotes] (windows)
X-Git-Tag: nightly~1956
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=d424772282011dc436d71736f029a6e21e8996b8;p=gwion.git

:wrench: Use gwion.exe [no quotes] (windows)
---

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index c810ca48..ac870055 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; export PRG="./gwion.exe" make test"
+           bash -c "export VALGRIND=NO_VALGRIND; export SEVERITY=3; export PRG=./gwion.exe make test"
            ls