]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: ls options
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 2 Mar 2020 10:02:42 +0000 (11:02 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 2 Mar 2020 10:02:42 +0000 (11:02 +0100)
.github/workflows/windows.yml

index 484ad3350621f26834a6e70c67a92f0b44880c39..72d6a3d2438bb4d5dfba0cb5b734afee94d38383 100644 (file)
@@ -25,6 +25,6 @@ jobs:
         CC: gcc
         USE_DOUBLE: ${{ matrix.double }}
         BUILD_ON_WINDOWS: 1
-    - run: which gwion; ls Gwion; ls -al Gwion/gwion.exe
+    - run: which gwion; ls Gwion; ls -l Gwion/gwion.exe
     - run: echo ./Gwion/gwion.exe -h
     - run: ./Gwion/gwion.exe -h