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.postinst | |
| parent | 3b2c79c0e330959074b095ddacb4ba08da017ab0 (diff) | |
| download | php-b11cd8d92c2d2f6bb4e1ca9832926584911dd756.tar.gz | |
Unify dpkg maintfiles
Diffstat (limited to 'debian/php5-dev.postinst')
| -rw-r--r-- | debian/php5-dev.postinst | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/debian/php5-dev.postinst b/debian/php5-dev.postinst index 0d4574c95..a3146d930 100644 --- a/debian/php5-dev.postinst +++ b/debian/php5-dev.postinst @@ -2,16 +2,14 @@ set -e -#DEBHELPER# - -if [ "$1" != "configure" ]; then - exit 0 +if [ "$1" = "configure" ]; then + for i in php-config phpize; do + update-alternatives \ + --install /usr/bin/"$i" $i /usr/bin/"$i"5 50 \ + --slave /usr/share/man/man1/"$i".1.gz "$i".1.gz /usr/share/man/man1/"$i"5.1.gz + done fi -for i in php-config phpize; do - update-alternatives \ - --install /usr/bin/"$i" $i /usr/bin/"$i"5 50 \ - --slave /usr/share/man/man1/"$i".1.gz "$i".1.gz /usr/share/man/man1/"$i"5.1.gz -done +#DEBHELPER# exit 0 |