mirror of
https://github.com/nasa/trick.git
synced 2025-02-12 05:25:35 +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.