blob: 0d1e7d2dba0e25cafd110aee6b4663e424ebba81 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
PORTNAME=${1%-*}
[ "$2" = DEINSTALL ] && cat <<***EOM
------------------------------------------------------------------------------
If you are no longer using the $PORTNAME port, then manually delete
the following directory and all its contents:
/var/db/$PORTNAME
------------------------------------------------------------------------------
***EOM
exit 0
|