diff --git a/scripts/pkg.sh b/scripts/pkg.sh index c1625b43..e20ea25b 100644 --- a/scripts/pkg.sh +++ b/scripts/pkg.sh @@ -600,7 +600,7 @@ upload_pkg() install_exe_wrapper() { - local from="`realpath $1`" + local from="`readlink -fm $1`" local to="$2" local ext=${from##*.} local tmp=$to.tmp @@ -642,8 +642,8 @@ cmd_upload() check_create_parent() { [ "$1" != "true" ] && return 0 - local dir=`dirname -z "$2" | xargs -0 realpath -m` - local path=`realpath -m "$2"` + local dir=`dirname -z "$2" | xargs -0 readlink -fm` + local path=`readlink -fm "$2"` if [ "$dir" -a "$dir" != "$path" ]; then mkdir -p "$dir" || { echo "failed to create parent dir of \"$1\""