debian/canfestival-objdictedit.postrm
author Edouard Tisserant
Tue, 20 Mar 2018 16:04:52 +0100
changeset 800 f0d16976e46e
parent 346 59dbdcc99264
permissions -rw-r--r--
Update call to xeno-config in configure to Xenomai 3
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