diff options
Diffstat (limited to 'bin/newexe')
| -rwxr-xr-x | bin/newexe | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/newexe b/bin/newexe index 7712644d7..32d7d9293 100755 --- a/bin/newexe +++ b/bin/newexe @@ -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 doexe "${T}/${2}" |