ci: update build.sh for Linux build process

This commit is contained in:
Anthony Green 2025-06-09 18:23:15 -04:00
parent a18d4e95d3
commit 26d7be77cc

View File

@ -23,9 +23,9 @@ fi
function build_linux()
{
./autogen.sh
./configure ${HOST+--host=$HOST} ${CONFIGURE_OPTIONS} || cat */config.log
ls -l */config.log
cat */config.log
make
make dist
DEJAGNU=$(pwd)/.ci/site.exp BOARDSDIR=$(pwd)/.ci runtest --version