Hi, I'm having trouble launching mmj2 on Debian Bullseye. It does not recognize the option "-Xincgc". Should I replace it with something else, or is it safe to remove it ? I remember that for some time there was a deprecation warning: maybe this is now deprecated ? Thanks in advance. Details:
benoit@ordi:~$ java -Xincgc -Xms128M -Xmx512M -jar /home/benoit/Documents/_metamath/mmj2/mmj2jar/mmj2.jar RunParms.txt Y "" /home/benoit/Documents/_metamath/mm181 "" Unrecognized option: -Xincgc Error: Could not create the Java Virtual Machine. Error: A fatal exception has occurred. Program will exit. benoit@ordi:~$ java -version openjdk version "11.0.6" 2020-01-14 OpenJDK Runtime Environment (build 11.0.6+10-post-Debian-2) OpenJDK 64-Bit Server VM (build 11.0.6+10-post-Debian-2, mixed mode) -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2db7f38e-8282-419e-9557-111b3e48d735%40googlegroups.com.
