ci: Run headerscheck and cpluspluscheck in parallel

This can save several seconds of wall-clock time for that task.

Reviewed-by: Andres Freund <andres@anarazel.de>
Discussion: https://www.postgresql.org/message-id/flat/b49e74d4-3cf9-4d1c-9dce-09f75e55d026%40eisentraut.org

diff --git a/.cirrus.tasks.yml b/.cirrus.tasks.yml
index 4841a2042486ab2d959bc15d10b2f0cceae95e9c..0f32827952fcd48851e7410c79c352fdc946bfe2 100644 (file)
--- a/.cirrus.tasks.yml
+++ b/.cirrus.tasks.yml
@@ -1004,6 +1004,7 @@ task:
   ###
   # Verify headerscheck / cpluspluscheck succeed
   #
+  # - Run both in same script to increase parallelism, use -k to get result of both
   # - Use -fmax-errors, as particularly cpluspluscheck can be very verbose
   ###
   always:
@@ -1014,9 +1015,7 @@ task:
         --quiet \
         CC="ccache gcc" CXX="ccache g++" CLANG="ccache clang"
       make -s -j${BUILD_JOBS} clean
-      time make -s headerscheck EXTRAFLAGS='-fmax-errors=10'
-    headers_cpluspluscheck_script: |
-      time make -s cpluspluscheck EXTRAFLAGS='-fmax-errors=10'
+      time make -s -j${BUILD_JOBS} -k ${CHECKFLAGS} headerscheck cpluspluscheck EXTRAFLAGS='-fmax-errors=10'
 
   always:
     upload_caches: ccache