Gergő Tisza has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/394818 )

Change subject: Replace libmysqlclient-dev with default-libmysqlclient-dev
......................................................................

Replace libmysqlclient-dev with default-libmysqlclient-dev

libmysqlclient-dev is only provided on jessie. default-libmysqlclient-dev
is provided on both jessie and stretch (and resolves to libmysqlclient-dev
or libmariadbclient-dev-compat).

Bug: T51652
Change-Id: Ie0349d681a5a70ba024e253b1c7bc14685773de8
---
M manifests/init.pp
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet/wikimetrics 
refs/changes/18/394818/1

diff --git a/manifests/init.pp b/manifests/init.pp
index f56f4ab..8ee736b 100644
--- a/manifests/init.pp
+++ b/manifests/init.pp
@@ -246,8 +246,8 @@
     if !defined(Package['python-dev']) {
         package { 'python-dev': ensure => 'installed' }
     }
-    if !defined(Package['libmysqlclient-dev']) {
-        package { 'libmysqlclient-dev': ensure => 'installed' }
+    if !defined(Package['default-libmysqlclient-dev']) {
+        package { 'default-libmysqlclient-dev': ensure => 'installed' }
     }
 
     # This class will not fully install dependencies for wikimetrics.

-- 
To view, visit https://gerrit.wikimedia.org/r/394818
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie0349d681a5a70ba024e253b1c7bc14685773de8
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet/wikimetrics
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to