Merge pull request #103 from andrewbird/ci-101

CI: output boot log on failure
dosemu2 · Jan 17, 2025 · fee64c6 · fee64c6
2 parents ad2a946 + 902deb0
commit fee64c6
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/ci_test.sh b/ci_test.sh
@@ -6,7 +6,14 @@ sudo dpkg -i ../comcom64*.deb
 
 . ./ci_test_prereq.sh
 
-dosemu -td -E ver
+if ! dosemu -td -o boot.log -E ver ; then
+  {
+    echo "================== boot.log ==================="
+    cat boot.log
+    echo "==============================================="
+  } >&2
+  exit 1
+fi
 
 make 32 -j 9
 # make sure 32bit version also built