Filippo Giunchedi has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/401758 )

Change subject: debian: force maven repo directory
......................................................................

debian: force maven repo directory

When running in cowbuilder $HOME is set to /nonexistent, and maven will fail to
create $HOME/.m2

Change-Id: Ia730eff34793f591b4d5985052b8d572dc09e1eb
---
M debian/rules
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/operations/debs/prometheus-jmx-exporter 
refs/changes/58/401758/1

diff --git a/debian/rules b/debian/rules
index 7e8aeb7..bcd19c2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,7 +11,7 @@
 
 
 override_dh_auto_build:
-       mvn package -DskipTests
+       mvn package -DskipTests -Dmaven.repo.local=/tmp/.m2
        dh_auto_build
 
 override_dh_install:

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia730eff34793f591b4d5985052b8d572dc09e1eb
Gerrit-PatchSet: 1
Gerrit-Project: operations/debs/prometheus-jmx-exporter
Gerrit-Branch: master
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>

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

Reply via email to