debian/canfestival-objdictedit.postrm
author Christian Taedcke <hacking@taedcke.com>
Mon, 23 Jan 2012 21:40:59 +0100
changeset 709 4a8b50dcc4c0
parent 346 59dbdcc99264
permissions -rw-r--r--
win32:
- Added visual studio 2010 solution file and project files. Some driver that
does not work are disabled in the configuration manager.
346
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     1
#!/bin/sh
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     2
# postrm script for canfestival-objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     3
#
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     4
# see: dh_installdeb(1)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     5
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     6
set -e
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     7
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     8
OBJDICTEDIT=/usr/bin/objdictedit
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
     9
OBJDICTGEN=/usr/bin/objdictgen
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    10
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    11
case "$1" in
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    12
    purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    13
	
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    14
	if [ -f "$OBJDICTEDIT" ]; then		
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    15
		rm $OBJDICTEDIT
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    16
	fi
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    17
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    18
	if [ -f "$OBJDICTGEN" ]; then		
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    19
		rm $OBJDICTGEN
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    20
	fi
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    21
	;;
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    22
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    23
    *)
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    24
        echo "postrm called with unknown argument \`$1'" >&2
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    25
        exit 1
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    26
    ;;
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    27
esac
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    28
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    29
# dh_installdeb will replace this with shell code automatically
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    30
# generated by other debhelper scripts.
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    31
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    32
#DEBHELPER#
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    33
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    34
exit 0
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    35
59dbdcc99264 add debian directory to create debian binary packages
greg
parents:
diff changeset
    36