diff -r 2588b63b42ca -r c3e1eaea4418 bin/isatool
--- a/bin/isatool	Mon Dec 09 16:38:07 1996 +0100
+++ b/bin/isatool	Mon Dec 09 16:38:28 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
@@ -39,12 +39,11 @@
 
 function fail()
 {
-  echo "$1"
+  echo "$1" >&2
   exit 2
 }
 
 
-
 ## main
 
 [ $# -lt 1 ] && usage