Revision b1267886c5de2b8e18c7fff5ad7cd79cd8a351ed authored by Elliot Saba on 07 May 2019, 14:45:21 UTC, committed by GitHub on 07 May 2019, 14:45:21 UTC
Remove unused download of 7z-extra
install.sh
#!/bin/sh
# This file is a part of Julia. License is MIT: https://julialang.org/license
# Usage: very similar to `install`
# install.sh 755 src1 src2 ... dest
PERMS=$1
shift
ARGS=""
while [ $# -gt 1 ]; do
ARGS="$ARGS $1"
shift
done
DEST=$1
for SRC in $ARGS; do
cp -a $SRC $DEST
if [ -d "$DEST" ]; then
DESTFILE="$DEST/$(basename "$SRC")"
else
DESTFILE="$DEST"
fi
# Do the chmod dance.
# Symlinks to system libraries are ignored because Julia shouldn't modify
# permission of those libraries. If we tried, some platforms would cause
# an error.
if [ ! -L "$DESTFILE" ]; then
chmod $PERMS "$DESTFILE"
fi
done
exit 0
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...