blob: ece096e6e8c6088bed34ec353506c5ae3b46e859 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/sh
[ "$2" != "POST-DEINSTALL" ] && exit 0
if [ -s "%%SCOREFILE%%" ]; then
echo
echo "To completely remove the port, please remove the following"
echo "file manually, if it's no longer needed:"
echo
echo " %%SCOREFILE%%"
echo
else
rm -f "%%SCOREFILE%%"
fi
|
