debian/canfestival-objdictedit.postrm
author fbeaulier
Mon, 29 Aug 2011 17:31:55 +0200
changeset 665 90e6cf84a0d7
parent 346 59dbdcc99264
permissions -rw-r--r--
patch from Christian Taedcke <hacking@taedcke.com> : fix-wrong-resetSDOline-for-sdo-timeout.patch
FIXED: - The sdo line must not be closed at the end of SDOTimeoutAlarm() if the same sdo line is closed and reopened for a new transfer inside the callback. (Patch from Jaroslav Fojtik)
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