diff --git a/.github/workflows/autobuild.yaml b/.github/workflows/autobuild.yaml index d48dd41..c862385 100644 --- a/.github/workflows/autobuild.yaml +++ b/.github/workflows/autobuild.yaml @@ -280,9 +280,10 @@ jobs: ninja -C ${{ env.CLANGD_DIR }} clangd clangd-indexer clangd-index-server clangd-index-server-monitor - name: Install OpenMP headers + shell: bash run: > - cp ${{ env.CLANGD_DIR }}/projects/openmp/runtime/src/omp.h ${{ env.CLANGD_DIR }}/lib/clang/*/include - cp ${{ env.CLANGD_DIR }}/projects/openmp/runtime/src/omp-tools.h ${{ env.CLANGD_DIR }}/lib/clang/*/include + cp ${{ env.CLANGD_DIR }}/projects/openmp/runtime/src/omp{,-tools}.h ${{ env.CLANGD_DIR }}/lib/clang/*/include + || true # Don't let the non-existing omp headers block the release. - name: Archive clangd run: > 7z a clangd.zip