Revision f66db68e1f3c5d9864a8273a4b69fb3292820a10 authored by Dr. Stephen Henson on 11 February 2013, 11:57:46 UTC, committed by Dr. Stephen Henson on 11 February 2013, 11:57:46 UTC
1 parent 0c4b72e
point.sh
#!/bin/sh
rm -f "$2"
if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw ; then
cp "$1" "$2"
else
ln -s "$1" "$2"
fi
echo "$2 => $1"

Computing file changes ...