diff options
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 |