]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Use gwion.exe (windows)
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 10 Jan 2020 12:59:27 +0000 (13:59 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 10 Jan 2020 12:59:27 +0000 (13:59 +0100)
.github/workflows/windows.yml

index afabe5cdb529159c937c6a1d8c1724f0effdb5e0..c810ca48e38cda783680028d5edbf7f46ff94c85 100644 (file)
@@ -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