esac
# Print build env details
+print_header "Build environment details"
+print_hardware || true
print_os || true
print_tooling || true
$MAKE -j "$($NPROC)" V=1 MAKEINFO=true
# Install in the workspace
-$MAKE install DESTDIR="$WORKSPACE"
+$MAKE install DESTDIR="$WORKSPACE" MAKEINFO=true
case "$platform" in
macos-*)
# Run tests, don't fail now, we know that "make check" is going to fail,
# since some tests don't pass.
-$MAKE -C gdb --keep-going check -j "$($NPROC)" RUNTESTFLAGS="$RUNTESTFLAGS" FORCE_PARALLEL="1" || true
+$MAKE -C gdb/testsuite site.exp
+# shellcheck disable=SC2016
+echo 'set gdb_test_timeout [expr 5 * $timeout]' >> gdb/testsuite/site.exp
+$MAKE -C gdb --keep-going check RUNTESTFLAGS="$RUNTESTFLAGS" || true
# Copy the dejagnu test results for archiving before cleaning the build dir
mkdir "${WORKSPACE}/results"
# For informational purposes: check if some known failure lines did not appear
# in the gdb.sum.
echo "Known failures that don't appear in gdb.sum:"
-while read line; do
+while read -r line; do
if ! grep --silent --fixed-strings "$line" "${WORKSPACE}/results/gdb.sum"; then
echo "$line"
fi