[infinispan-dev] build broken

[Sanne Grinovero]

Hi all,
I know nobody cares about Query.. but some of the commits of
today/yesterday broke it.

I think both the pull-requestor and the reviewer should run a full
build before allowing any change to be pushed upstream; with a script
like this one:
https://gist.github.com/789588

it won't even prevent you to work on a different branch while tests
test are run, so while it takes some CPU, you can still look at other
stuff.

Sanne