better skip

2016-02-28 10:49:40 +00:00 · 2016-02-28 10:49:40 +00:00 · cee54dc21a
commit cee54dc21a
parent 7c0e491580
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -177,11 +177,11 @@ report_outcome() {
        not=''
      fi
      if [ "$result" == skip ]; then
-        skip='SKIP '
+        skip='# SKIP'
      else
        skip=''
      fi
-      echo "${not}ok $n ${path} # ${skip}"
+      echo "${not}ok $n ${path}${skip}"
      if [ "$result" == fail ]; then
        echo '# ------------ Begin output ------------'
      # sed 's/^/# /' "$stdout_file"