mirror of
https://github.com/clangd/clangd.git
synced 2024-12-04 21:17:10 +00:00
Use bash shell in Install OpenMP task and don't let copy fail
This commit is contained in:
parent
ebce136114
commit
f707dfdeab
5
.github/workflows/autobuild.yaml
vendored
5
.github/workflows/autobuild.yaml
vendored
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user