Sorry for I should have written that my contribution needed some fix, but you were more reactive than me. I made a fix and added some comments. With this, typing repeatedly make won't trigger any recompilation. V.
Le dim. 14 juin 2020 à 00:37, Karl Berry <k...@freefriends.org> a écrit : > > Subject: compiling java in a single place > > Ok, I installed that patch, except I set do_java=2 to omit Java stuff by > default (as before). It takes way too long to repeatedly run all that > every time. --thanks, karl.
step6-1.diff
Description: Binary data