infinispan/infinispan — pull request #2053 by tristantarrant (2013-09-06 15:03:59+00:00)
Title: Make the tools explicitly depend on getopt so that the version gets mana...

...