File tree Expand file tree Collapse file tree 4 files changed +19
-3
lines changed
Expand file tree Collapse file tree 4 files changed +19
-3
lines changed Original file line number Diff line number Diff line change 3737 apt-gcc-cross-version :
3838 required : true
3939 type : string
40+ extra-conf-options :
41+ required : false
42+ type : string
4043
4144jobs :
4245 build-cross-compile :
@@ -142,6 +145,10 @@ jobs:
142145 --with-build-jdk=${{ steps.buildjdk.outputs.jdk-path }}
143146 CC=${{ matrix.gnu-arch }}-linux-gnu${{ matrix.gnu-abi}}-gcc-${{ inputs.gcc-major-version }}
144147 CXX=${{ matrix.gnu-arch }}-linux-gnu${{ matrix.gnu-abi}}-g++-${{ inputs.gcc-major-version }}
148+ ${{ inputs.extra-conf-options }} || (
149+ echo "Dumping config.log:" &&
150+ cat config.log &&
151+ exit 1)
145152
146153 - name : ' Build'
147154 id : build
Original file line number Diff line number Diff line change @@ -122,7 +122,10 @@ jobs:
122122 --with-gtest=${{ steps.gtest.outputs.path }}
123123 --enable-jtreg-failure-handler
124124 --with-zlib=system
125- ${{ inputs.extra-conf-options }}
125+ ${{ inputs.extra-conf-options }} || (
126+ echo "Dumping config.log:" &&
127+ cat config.log &&
128+ exit 1)
126129
127130 - name : ' Build'
128131 id : build
Original file line number Diff line number Diff line change 9797 --with-gtest=${{ steps.gtest.outputs.path }}
9898 --enable-jtreg-failure-handler
9999 --with-zlib=system
100- ${{ inputs.extra-conf-options }}
100+ ${{ inputs.extra-conf-options }} || (
101+ echo "Dumping config.log:" &&
102+ cat config.log &&
103+ exit 1)
101104
102105 - name : ' Build'
103106 id : build
Original file line number Diff line number Diff line change @@ -110,7 +110,10 @@ jobs:
110110 --with-gtest=${{ steps.gtest.outputs.path }}
111111 --enable-jtreg-failure-handler
112112 --with-msvc-toolset-version=${{ inputs.msvc-toolset-version }}
113- ${{ inputs.extra-conf-options }}
113+ ${{ inputs.extra-conf-options }} || (
114+ echo "Dumping config.log:" &&
115+ cat config.log &&
116+ exit 1)
114117 env :
115118 # We need a minimal PATH on Windows
116119 # Set PATH to "", so just GITHUB_PATH is included
You can’t perform that action at this time.
0 commit comments