diff options
Diffstat (limited to 'bin/newbin')
-rwxr-xr-x | bin/newbin | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/newbin b/bin/newbin index 8e2185b29..905b2802e 100755 --- a/bin/newbin +++ b/bin/newbin @@ -8,6 +8,11 @@ if [[ -z ${T} ]] || [[ -z ${2} ]] ; then exit 1 fi +if [ ! -e "$1" ] ; then + echo "!!! ${0##*/}: $1 does not exist" 1>&2 + exit 1 +fi + rm -rf "${T}/${2}" && \ cp -f "${1}" "${T}/${2}" && \ exec dobin "${T}/${2}" |