mirror of
https://github.com/nasa/trick.git
synced 2025-01-27 06:39:33 +00:00
bff1967d4d
Added an --enable-java=(yes|no) and --disable-java options to the configure script. If java is disabled then the java GUIs are not compiled.