Jeroen De Dauw has submitted this change and it was merged.

Change subject: Show bash commands in output for Travis
......................................................................


Show bash commands in output for Travis

Change-Id: I2a5cb14391c50753f9b61843915ecd26b1293a64
---
M .travis.sh
1 file changed, 2 insertions(+), 0 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved



diff --git a/.travis.sh b/.travis.sh
index 5bb853f..1284ccc 100644
--- a/.travis.sh
+++ b/.travis.sh
@@ -1,5 +1,7 @@
 #! /bin/bash
 
+set -x
+
 cd ..
 pwd
 git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git phase3 --depth 1

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I2a5cb14391c50753f9b61843915ecd26b1293a64
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQueryEngine
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com>

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

Reply via email to