Configure CI (no. 148)

riganti · Jun 10, 2021 · a1446ec · a1446ec
1 parent 25ddf01
commit a1446ec
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/ci/linux/run.sh b/ci/linux/run.sh
@@ -126,10 +126,10 @@ echo "TEST_RESULTS_DIR=$TEST_RESULTS_DIR"
 # ================
 
 function print_header {
-    tput sgr0 && tput setaf 3
-    echo "--------------------------------"
-    echo "$(tput smso)$@$(tput rmso)"
-    echo "--------------------------------"
+    tput sgr0
+    echo "$(tput setaf 3)--------------------------------"
+    echo "$(tput setaf 3 && tput smso)$@$(tput rmso)"
+    echo "$(tput setaf 3)--------------------------------"
     tput sgr0
 }