From 092df745475dc6c16ab0600d2a4e477abb22db1f Mon Sep 17 00:00:00 2001
From: lars <lars@systemausfall.org>
Date: Mon, 8 Jan 2007 02:27:37 +0000
Subject: [PATCH] minor improvements of pylint script

---
 bin/do_pylint.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bin/do_pylint.sh b/bin/do_pylint.sh
index a290158..cefa22b 100755
--- a/bin/do_pylint.sh
+++ b/bin/do_pylint.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# set some environmental variables for pylint
+# set some environmental variables for pylint and run it
 #
 
 PROJ_DIR=$(dirname "$0")/..
@@ -29,6 +29,7 @@ while test $# -gt 0
 export PYTHONPATH
 export PYLINTRC
 
-[ ! -x /usr/bin/pylint ] && echo "please run \"apt-get install pylint\" first" && exit 1
+[ ! -x /usr/bin/pylint ] && echo >&2 "please run \"apt-get install pylint\" first" && exit 1
+
 pylint $ARGS