Muehlenhoff has uploaded a new change for review.
https://gerrit.wikimedia.org/r/316707
Change subject: Add kernel-wedge to package list
......................................................................
Add kernel-wedge to package list
kernel-wedge is needed during the source generation stage to build the
Linux kernel. It was previously installed locally, but the recent
copper reimage made it go away.
Change-Id: I3669e184d867c67db63d595a42f1fe7bd0679c81
---
M modules/package_builder/manifests/init.pp
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/07/316707/1
diff --git a/modules/package_builder/manifests/init.pp
b/modules/package_builder/manifests/init.pp
index 2d9630a..fe5a2fe 100644
--- a/modules/package_builder/manifests/init.pp
+++ b/modules/package_builder/manifests/init.pp
@@ -42,6 +42,7 @@
'pkg-php-tools',
'dh-php5',
'php5-dev',
+ 'kernel-wedge',
])
if $::operatingsystem == 'Ubuntu' {
--
To view, visit https://gerrit.wikimedia.org/r/316707
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I3669e184d867c67db63d595a42f1fe7bd0679c81
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Muehlenhoff <mmuhlenh...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
