From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 18 Jan 2020 13:04:59 +0000 (+0100)
Subject: more cache
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=312a74fab3b0882fd59691169d209f2dbc9970e4;p=gwion.git

more cache
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b55afdc1..72f20ffc 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -31,18 +31,15 @@ jobs:
     - name: Mdr
       if: steps.mdr-bin.outputs.cache-hit == 'true'
       run: |
-        if [ $(git rev-parse HEAD) = $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
+        cd mdr
+        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
         then
-          cd mdr
-          cabal install
-          exit 0
+          git pull
+          cabal update
+          cabal install --only-dependencies
+          cabal configure
+          cabal build
         fi
-        cd mdr
-        git pull
-        cabal update
-        cabal install --only-dependencies
-        cabal configure
-        cabal build
         cabal install
 
     - uses: actions/cache@v1
@@ -64,10 +61,10 @@ jobs:
       if: steps.gwion-bin.outputs.cache-hit == 'true'
       run: |
         cd Gwion
-        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/mdr.git HEAD | cut -f1) ]
+        if [ $(git rev-parse HEAD) != $(git ls-remote https://github.com/fennecdjay/Gwion.git HEAD | cut -f1) ]
         then
           git pull
-          git submodule update --init util ast
+          git submodule update util ast
           make
         fi
         cp gwion ..