blob: 98769938584678653e2b7c9883a9f959ac21f5e1 (
plain)
1 #!/usr/bin/env sh
2 DIRECTORY='/usr/lib/distcc'
3 if [ -d "$DIRECTORY" ]; then
4 if [ -w "$DIRECTORY" ]; then
5 rm -r "$DIRECTORY"
6 if [ $? -gt 0 ]; then
7 echo "post-remove: error remove '$DIRECTORY' failed."
8 else
9 echo "post-remove: '$DIRECTORY' removed."
10 fi
11 else
12 echo "post-remove: error no permission to remove '$DIRECTORY'."
13 fi
14 fi
15 unset DIRECTORY
16 # End of file
|
