Muehlenhoff has submitted this change and it was merged.
Change subject: package_builder: Add php5-dev to list of installed packages
......................................................................
package_builder: Add php5-dev to list of installed packages
The build of php-mailparse failed in the source package generation
stage of pdebuild (i.e. before the build dependencies are installed
in the pbuilder chroot) because phpize could not be found.
It's provided by php5-dev.
Change-Id: Ic016b39d1dceb920ef3996fa677bdffb5aef861b
---
M modules/package_builder/manifests/init.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Muehlenhoff: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/package_builder/manifests/init.pp
b/modules/package_builder/manifests/init.pp
index 0f5770b..2d9630a 100644
--- a/modules/package_builder/manifests/init.pp
+++ b/modules/package_builder/manifests/init.pp
@@ -41,6 +41,7 @@
'gradle',
'pkg-php-tools',
'dh-php5',
+ 'php5-dev',
])
if $::operatingsystem == 'Ubuntu' {
--
To view, visit https://gerrit.wikimedia.org/r/305965
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic016b39d1dceb920ef3996fa677bdffb5aef861b
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: Alexandros Kosiaris <akosia...@wikimedia.org>
Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
