Fix configure.sh again (--tui=no + jar was not ok)
authorNiki Roo <niki@nikiroo.be>
Sun, 2 Jul 2017 12:23:41 +0000 (14:23 +0200)
committerNiki Roo <niki@nikiroo.be>
Sun, 2 Jul 2017 12:23:41 +0000 (14:23 +0200)
commit062ee296d56e273fa30fd3a078e5b18a02f2e00d
tree59df6a597fcd4efe4aae618cbf2d3a3868ab058e
parentc0fba8d53678f67e049deeb799773a9f31f02f8d
Fix configure.sh again (--tui=no + jar was not ok)
configure.sh