diff options
Diffstat (limited to 'bin/newlib.a')
-rwxr-xr-x | bin/newlib.a | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/newlib.a b/bin/newlib.a index 008aca966..ddcb1af25 100755 --- a/bin/newlib.a +++ b/bin/newlib.a @@ -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 dolib.a "${T}/${2}" |