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