From 50c1259b5bac2b5a31a35dc1dac4830c9ff23156 Mon Sep 17 00:00:00 2001
From: "Erik M. Bray" <erik.bray@lri.fr>
Date: Wed, 25 Oct 2017 10:15:28 +0000
Subject: [PATCH] Error message itself should also be output to stderr!

---
 src/bin/sage-dist-helpers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/sage-dist-helpers b/src/bin/sage-dist-helpers
index 0c2e363d845..41112fc8a08 100644
--- a/src/bin/sage-dist-helpers
+++ b/src/bin/sage-dist-helpers
@@ -79,7 +79,7 @@ sdh_die() {
 
     if [ $ret -ne 0 ]; then
         _sdh_hr >&2 '*'
-        echo "$msg" | fmt -s -w $(_sdh_cols)
+        echo "$msg" | fmt -s -w $(_sdh_cols) >&2
         _sdh_hr >&2 '*'
         exit $ret
     fi