From d97c005c591cdc392bd81db6746fce6fad65b9f7 Mon Sep 17 00:00:00 2001
From: Kadir Cetinkaya <kadircet@google.com>
Date: Mon, 17 Jan 2022 10:45:54 +0100
Subject: [PATCH] Use bash shell in Install OpenMP task and don't let copy fail

---
 .github/workflows/autobuild.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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