Filippo Giunchedi has submitted this change and it was merged.
Change subject: mwprof: Convert to package|provider==trebuchet|
..
mwprof: Convert to package|provider==trebuchet|
The deployment::target resource has been deprecated in favor of
Trebuchet's custom provider.
Change-Id: Ic13504f6d763d2f6b9bda35a70abef9dc5ade5a3
---
M modules/mwprof/manifests/init.pp
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
diff --git a/modules/mwprof/manifests/init.pp b/modules/mwprof/manifests/init.pp
index 5b5a0a9..8d1d652 100644
--- a/modules/mwprof/manifests/init.pp
+++ b/modules/mwprof/manifests/init.pp
@@ -11,7 +11,9 @@
description = 'MediaWiki profiler',
}
-deployment::target { 'mwprof': }
+package { 'mwprof/mwprof':
+provider = 'trebuchet',
+}
package { [ 'build-essential', 'libglib2.0-dev', 'glib-networking' ]: }
--
To view, visit https://gerrit.wikimedia.org/r/163372
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic13504f6d763d2f6b9bda35a70abef9dc5ade5a3
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: BryanDavis bda...@wikimedia.org
Gerrit-Reviewer: ArielGlenn ar...@wikimedia.org
Gerrit-Reviewer: Dzahn dz...@wikimedia.org
Gerrit-Reviewer: Faidon Liambotis fai...@wikimedia.org
Gerrit-Reviewer: Filippo Giunchedi fgiunch...@wikimedia.org
Gerrit-Reviewer: Ori.livneh o...@wikimedia.org
Gerrit-Reviewer: jenkins-bot
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits