From 52e6a75584d794476e45c2d68a2d88b80f482df4 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Sun, 25 Jan 2026 15:11:01 -0800
Subject: [PATCH] Echo CI commands to ease debugging

---
 ci-tests/test-spike | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci-tests/test-spike b/ci-tests/test-spike
index 780d721b..dc734642 100755
--- a/ci-tests/test-spike
+++ b/ci-tests/test-spike
@@ -1,5 +1,6 @@
 #!/bin/bash
 set -e
+set -x
 
 ROOT=`git rev-parse --show-toplevel`
 NPROCS="$(nproc 2> /dev/null || sysctl -n hw.ncpu)"