From 7e79607c19aea8acba4d4984d780ab327e7f30d9 Mon Sep 17 00:00:00 2001 From: Peter Newman Date: Tue, 18 Jul 2023 04:15:16 +0100 Subject: [PATCH] Fix distcheck configure args --- .github/workflows/build.yaml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 554baa985..d41e260de 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -92,11 +92,19 @@ jobs: - name: Set configure arguments run: | echo "GH_OLA_CONFIGURE_ARGS=${{ matrix.configure-args }}" >> $GITHUB_ENV + - name: Set distcheck configure arguments + if: matrix.task == 'distcheck' + run: | + echo "DISTCHECK_CONFIGURE_FLAGS=${{ matrix.configure-args }}" >> $GITHUB_ENV - name: Set additional Linux configure arguments if: runner.os == 'Linux' # Silence all deprecated declarations on Linux due to auto_ptr making the build log too long run: | echo "GH_OLA_CONFIGURE_ARGS=$GH_OLA_CONFIGURE_ARGS CPPFLAGS=-Wno-deprecated-declarations" >> $GITHUB_ENV + - name: Set additional Linux distcheck configure arguments + if: matrix.task == 'distcheck' + run: | + echo "DISTCHECK_CONFIGURE_FLAGS=${{ matrix.configure-args }} CPPFLAGS=-Wno-deprecated-declarations" >> $GITHUB_ENV - name: Print configure command run: echo "./configure $GH_OLA_CONFIGURE_ARGS" - name: Configure