diff options
Diffstat (limited to 'release/bininst')
-rwxr-xr-x | release/bininst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/bininst b/release/bininst index 77f5935..83e5872 100755 --- a/release/bininst +++ b/release/bininst @@ -13,10 +13,10 @@ # putting your name on top after doing something trivial like reindenting # it, just to make it look like you wrote it!). # -# $Id: bininst,v 1.50 1994/11/21 09:50:02 jkh Exp $ +# $Id: bininst,v 1.51 1994/11/28 22:13:03 jkh Exp $ if [ "${_BININST_LOADED_}" = "yes" ]; then - echo "Error, $0 loaded more than once!" + error "Error, $0 loaded more than once!" return 1 else _BININST_LOADED_=yes |