File tree 1 file changed +23
-0
lines changed
1 file changed +23
-0
lines changed Original file line number Diff line number Diff line change @@ -576,5 +576,28 @@ task:
576
576
make -s -j${BUILD_JOBS} clean
577
577
time make -s -j${BUILD_JOBS} -C doc
578
578
579
+ # ##
580
+ # Verify headerscheck / cpluspluscheck succeed
581
+ #
582
+ # - Don't use ccache, the files are uncacheable, polluting ccache's
583
+ # cache
584
+ # - Use -fmax-errors, as particularly cpluspluscheck can be very verbose
585
+ # - XXX have to disable ICU to avoid errors:
586
+ # https://postgr.es/m/20220323002024.f2g6tivduzrktgfa%40alap3.anarazel.de
587
+ # - XXX: the -Wno-register avoids verbose warnings:
588
+ # https://postgr.es/m/20220308181837.aun3tdtdvao4vb7o%40alap3.anarazel.de
589
+ # ##
590
+ always :
591
+ headers_headerscheck_script : |
592
+ time ./configure \
593
+ ${LINUX_CONFIGURE_FEATURES} \
594
+ --without-icu \
595
+ --quiet \
596
+ CC="gcc" CXX"=g++" CLANG="clang"
597
+ make -s -j${BUILD_JOBS} clean
598
+ time make -s headerscheck EXTRAFLAGS='-fmax-errors=10'
599
+ headers_cpluspluscheck_script : |
600
+ time make -s cpluspluscheck EXTRAFLAGS='-Wno-register -fmax-errors=10'
601
+
579
602
always :
580
603
upload_caches : ccache
You can’t perform that action at this time.
0 commit comments