diff --git a/check b/check index 7e5aa326..3bf28bb4 100755 --- a/check +++ b/check @@ -237,7 +237,8 @@ do if [ -f $seq.notrun ] then - echo -n " [not run] " + $timestamp || echo -n " [not run] " + $timestamp && echo " [not run]" && echo -n " $seq -- " cat $seq.notrun notrun="$notrun $seq" else