debian/postrm
author Mario de Sousa <msousa@fe.up.pt>
Thu, 02 Feb 2012 14:18:02 +0000
changeset 420 866eb35e4e14
parent 171 59f5197b088a
permissions -rwxr-xr-x
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Fix handling of FB calls in stage3.
Start handling of function invocations in stage3.
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