diff options
| author | Waldemar Brodkorb <mail@waldemar-brodkorb.de> | 2012-10-16 14:37:59 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <mail@waldemar-brodkorb.de> | 2012-10-16 14:37:59 +0200 |
| commit | 35060d69925b57a765bf86a314e47ba2e4f499a8 (patch) | |
| tree | 14ceec26af13eaecec3ce32b3df8c71d1e52fdda /package/php/files/php-mod-gmp.postinst | |
| parent | 87e7852e85430179b8e3074287349c14c1681492 (diff) | |
update to latest php upstream, finetune module selections
Diffstat (limited to 'package/php/files/php-mod-gmp.postinst')
| -rw-r--r-- | package/php/files/php-mod-gmp.postinst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/package/php/files/php-mod-gmp.postinst b/package/php/files/php-mod-gmp.postinst new file mode 100644 index 000000000..5f1828f1d --- /dev/null +++ b/package/php/files/php-mod-gmp.postinst @@ -0,0 +1,3 @@ +#!/bin/sh +. $IPKG_INSTROOT/etc/functions.sh +echo "extension=gmp.so" >> $IPKG_INSTROOT/etc/php.ini |