Revision 24fadf2a20f50d5623f61f2cc08f95c22b5ba75c authored by Dr. Stephen Henson on 03 January 2012, 19:43:06 UTC, committed by Dr. Stephen Henson on 03 January 2012, 19:43:06 UTC
1 parent 409abd2
point.sh
#!/bin/sh
rm -f "$2"
if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw || test "x$OS" = xWindows_NT ; then
cp "$1" "$2"
else
ln -s "$1" "$2"
fi
echo "$2 => $1"

Computing file changes ...