jenkins-bot has submitted this change and it was merged.

Change subject: puppet-lint now ignores cucumber testenv
......................................................................


puppet-lint now ignores cucumber testenv

The cucumber suite creates material under /tmp/  Instruct puppet-lint to
ignore it.

Change-Id: I3440d9c66519857afe93d3ed5f1eb510201310f0
---
M Rakefile
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Rakefile b/Rakefile
index 1d876f8..66fa072 100644
--- a/Rakefile
+++ b/Rakefile
@@ -23,6 +23,7 @@
   config.ignore_paths = IO.readlines(gitmodules).grep(/\s*path\s*=\s*(\S+)/) {
     "#{$1}/**/*.pp"
   }
+  config.ignore_paths += ['tmp/**/*.pp']
   config.log_format = '%{path}:%{linenumber} %{KIND}: %{message}'
 end
 Cucumber::Rake::Task.new(:cucumber)

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I3440d9c66519857afe93d3ed5f1eb510201310f0
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: Dduvall <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to