From bfe049ff37155fe8d0c7a721e54b15826df5b3e4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 5 Feb 2014 11:13:46 +0100
Subject: [PATCH 1/1] Write error messages on stderr.

---
 tools/check_dist_archive | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 92092eacb8..c3c5ae597f 100755
--- a/tools/check_dist_archive
+++ b/tools/check_dist_archive
@@ -12,7 +12,7 @@ else
 fi
 
 if [ $# -lt 1 -o $# -gt 3 ]; then
-    cat <<EOF
+    cat >&2 <<EOF
 Usage: $0 [-batch] archive.tar.gz [git_url [git_reference]]
 EOF
     exit 1
@@ -20,7 +20,7 @@ fi
 
 archive=$1
 if [ ! -r "$archive" ]; then
-    printf 'File not found: %s\n' "$archive"
+    printf 'File not found: %s\n' "$archive" >&2
     exit 1
 fi
 
@@ -49,7 +49,7 @@ case "$myname" in
 esac
 
 if [ ! -r "$exclude" ]; then
-    printf 'File not found: %s\n' "$exclude"
+    printf 'File not found: %s\n' "$exclude" >&2
     exit 1
 fi
 
-- 
2.20.1