Echo CI commands to ease debugging

6 months ago · 52e6a75584
1 changed files with 1 additions and 0 deletions
--- 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)"