CHeck current PS

vmcj · Feb 26, 2023 · aa120c4 · aa120c4
1 parent 9c2bbb0
commit aa120c4
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/jobs/unit-tests.sh b/.github/jobs/unit-tests.sh
@@ -1,10 +1,17 @@
 #!/bin/bash
 
+set -x
+
 echo "$PS0"
 echo "$PS1"
 echo "$PS2"
 echo "$PS4"
 
+PS0="0-$PS0"
+PS1="1-$PS1"
+PS2="2-$PS2"
+PS4="3-$PS4"
+
 git config --global --add safe.directory /__w/domjudge/domjudge
 
 . .github/jobs/data/gha_ci_bashrc