debian/canfestival-objdictedit.postrm
author Laurent Bessard
Thu, 04 Oct 2012 17:12:34 +0200
changeset 756 4ac6fd44595b
parent 346 59dbdcc99264
permissions -rw-r--r--
Fixing bug in dcf.c preventing to configure more than one slave using concise dcf when Save Node option is disabled
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