tools_eget: remove duplicated fatal()

2cde1d57 · Vitaly Lipatov · afbe0072 · 2cde1d57
Commit 2cde1d57 authored Oct 28, 2020 by Vitaly Lipatov
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 6 deletions

tools_eget bin/tools_eget +0 -6

No files found.
--- a/bin/tools_eget
+++ b/bin/tools_eget
@@ -93,12 +93,6 @@ if [ "$1" = "--latest" ] ; then
    shift
 fi

-fatal()
-{
-    echo "$*" >&2
-    exit 1
-}
-
 # check man glob
 filter_glob()
 {