debian/postrm
author mjsousa
Sat, 07 May 2016 21:17:49 +0100
changeset 1010 242907849850
parent 171 59f5197b088a
permissions -rwxr-xr-x
Correctly identify errors when parsing erroneous code (make sure flex goes back to INITIAL state when code contains errors that do not allow determining whether ST or IL is being parsed)
171
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     1
#!/bin/sh
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     2
# postrm script for canfestival-objdictedit
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     3
#
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     4
# see: dh_installdeb(1)
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     5
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     6
set -e
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     7
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     8
MATIEC=/usr/bin/iec2c
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
     9
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    10
case "$1" in
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    11
    purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    12
	
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    13
	if [ -f "$MATIEC" ]; then
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    14
		rm $MATIEC
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    15
	fi
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    16
	;;
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    17
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    18
    *)
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    19
        echo "postrm called with unknown argument \`$1'" >&2
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    20
        exit 1
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    21
    ;;
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    22
esac
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    23
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    24
# dh_installdeb will replace this with shell code automatically
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    25
# generated by other debhelper scripts.
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    26
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    27
#DEBHELPER#
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    28
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    29
exit 0
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    30
59f5197b088a updated : debian package scripts
greg
parents:
diff changeset
    31