this breaks windows usage and is unnecessary since the filename begins
with /
Reviewed-by: Marcel Hollerbach <mail@marcel-hollerbach.de>
Differential Revision: https://phab.enlightenment.org/D8723
original_ext="$(echo "$loader" | tail -c 4)"
if test "$original_ext" = "$ext" ; then
- mv "$DESTDIR"/"$original_loader" "$DESTDIR"/"$loader_dir"/"$original_name"
+ mv "$DESTDIR""$original_loader" "$DESTDIR""$loader_dir"/"$original_name"
fi
shift
for x in "$@"; do
- ln -sf "$original_name" "$DESTDIR"/"$loader_dir"/"$loader_name"."$x"
+ ln -sf "$original_name" "$DESTDIR""$loader_dir"/"$loader_name"."$x"
done
dir="$(dirname $x)"
filename="$(basename $x)"
ext="${filename##*.}"
- mv "$DESTDIR"/"$x" "$DESTDIR"/"$dir"/module."$ext"
+ mv "$DESTDIR""$x" "$DESTDIR""$dir"/module."$ext"
done