From 26d7be77cc151acb458ef84f66859ef5300ce432 Mon Sep 17 00:00:00 2001
From: Anthony Green <green@moxielogic.com>
Date: Mon, 9 Jun 2025 18:23:15 -0400
Subject: [PATCH] ci: update build.sh for Linux build process

---
 .ci/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci/build.sh b/.ci/build.sh
index cd9dca77..4eabf568 100755
--- a/.ci/build.sh
+++ b/.ci/build.sh
@@ -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