view debian/postrm @ 31667:f5d48f0e33c3

Fix gettimeofday type to match the real one. Avoids issues if the system headers have a declaration for it but there's just no implementation there.

#!/bin/sh

set -e

if [ "$1" = "purge" ]; then
	if [ -e /usr/share/debconf/confmodule ]; then
		# Source debconf library.
		. /usr/share/debconf/confmodule
		# Remove my changes to the db.
		db_purge
	fi

	if [ -d /etc/mplayer/ ]; then
		rm -rf /etc/mplayer/
	fi
fi

#DEBHELPER#