[isabelle-dev] /bin/kill broken on some recent Linux versions
makarius at sketis.net
Fri May 24 23:37:29 CEST 2013
Hard to believe that such elemenary things could be broken, but we have a
general convergence of low quality of *all* operating systems.
The workaround is in Isabelle/3610ae73cfdb.
If anybody stumbles over Isabelle/Scala of a different version failing to
terminate external processes, that tiny change could be applied on the
spot. JVM-based timeout is affected as well, as it requires kill -INT.
More information about the isabelle-dev