Github user phunt commented on the issue:
https://github.com/apache/zookeeper/pull/362
I'm afraid the history was deleted on the Jenkins service. Can you resubmit
the PR? Perhaps just rebase it to the current branch head and re-submit. That
should kick off a Jenkins build.
---
Github user Ormod commented on the issue:
https://github.com/apache/zookeeper/pull/362
Sorry for the delay in answering, how can I find out the platform on which
the build is failing? (in order to fix it it would be great to be able to repro
at will)
---
Github user hanm commented on the issue:
https://github.com/apache/zookeeper/pull/362
Haven't tried this locally, but Jenkins complains with this:
` [exec] BUILD FAILED
[exec]
/home/jenkins/jenkins-slave/workspace/PreCommit-ZOOKEEPER-github-pr-build/build.xml:1305:
Th
