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

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