direct stderr to /dev/null

2016-02-29 00:43:56 +00:00 · 2016-02-29 00:43:56 +00:00 · 9477e3ee73
commit 9477e3ee73
parent a94d04b136
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -231,7 +231,7 @@ report_outcome() {

  # Sort in alphabetical order.
  # GNU sort requires -m, and BSD sort doesn't.
-  sort -m "$log_file" > $sorted_log_file || 
+  sort -m "$log_file" > $sorted_log_file 2>/dev/null || 
    sort  "$log_file" > $sorted_log_file

  while read line; do