Attempt to fix gambit build

Remove first the files created by the bootstrapping process
mighty-gerbils · Oct 24, 2021 · 30d809f · 30d809f
1 parent 775fb96
commit 30d809f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -15,6 +15,7 @@ jobs:
         with:
           repository: 'gambit/gambit'
           ref: ${{ matrix.gambit-version }}
+          fetch-depth: 0  # Checkout history and tags
           path: 'gambit-src'
         if: steps.cache-gambit.outputs.cache-hit != 'true'
       - name: Get Gambit version
@@ -34,6 +35,7 @@ jobs:
         run: |
           cd gambit-src
           ./configure --prefix=${GITHUB_WORKSPACE}/gambit --enable-single-host
+          make clean
           make
           make install
       - name: Setup links to Gambit executables