Browse Source
Disable comparison utility Also fixes `configure` to check that Java is present if `--with-comparison-tool` is set. Closes #592pull/145/head
zkbot
8 years ago
2 changed files with 7 additions and 3 deletions
Loading…
Reference in new issue