diff options
| author | Ondřej Surý <ondrej@sury.org> | 2013-05-07 11:04:16 +0200 |
|---|---|---|
| committer | Ondřej Surý <ondrej@sury.org> | 2013-05-07 11:04:16 +0200 |
| commit | b11cd8d92c2d2f6bb4e1ca9832926584911dd756 (patch) | |
| tree | 95e6b530e116eb1030a6f8f0f140916dfc638df9 /debian/php5-dev.prerm | |
| parent | 3b2c79c0e330959074b095ddacb4ba08da017ab0 (diff) | |
| download | php-b11cd8d92c2d2f6bb4e1ca9832926584911dd756.tar.gz | |
Unify dpkg maintfiles
Diffstat (limited to 'debian/php5-dev.prerm')
| -rw-r--r-- | debian/php5-dev.prerm | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/debian/php5-dev.prerm b/debian/php5-dev.prerm index f9d22e0c4..50d2c4f67 100644 --- a/debian/php5-dev.prerm +++ b/debian/php5-dev.prerm @@ -2,14 +2,12 @@ set -e -#DEBHELPER# - -if [ "$1" != "remove" -a "$1" != "purge" ]; then - exit 0 +if [ "$1" = "remove" -o "$1" = "purge" ]; then + for i in php-config phpize; do + update-alternatives --remove $i /usr/bin/"$i"5 + done fi -for i in php-config phpize; do - update-alternatives --remove $i /usr/bin/"$i"5 -done +#DEBHELPER# exit 0 |