Merge pull request #83 from dscho/more-stringent-ci-artifacts

ci-artifacts: do build with DEVELOPER=1
git-for-windows · May 12, 2024 · 9ad580a · 9ad580a
2 parents 5f6ba09 + 55af6e3
commit 9ad580a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-artifacts.yml b/.github/workflows/ci-artifacts.yml
@@ -55,7 +55,7 @@ jobs:
           set -x
           test "$(cygpath -aw /)" = "${{github.workspace}}\minimal-sdk" || exit 1
           test "$(type -p gcc)" = "/mingw64/bin/gcc" || exit 1
-          make -C ../git NO_PERL=1 SKIP_DASHED_BUILT_INS=YesPlease -j8 all strip
+          make -C ../git DEVELOPER=1 NO_PERL=1 SKIP_DASHED_BUILT_INS=YesPlease -j8 all strip
       - name: compress git artifacts
         shell: bash
         run: tar -C .. -czf git-artifacts.tar.gz --exclude '*.a' --exclude '*.o' --exclude .git --exclude .depend git