> On Wed, Jan 25, 2012 at 12:25:33PM +0100, Jon Kleiser wrote:
>> Yes, if "tmp/" already exists, then it works. Maybe the "tmp/"
>> should be created if it doesn't already exist ...?
> You mean in the "ersatz/pil" wrapper script, before the JVM is started?
> I would be reluctant to do so, because "tmp/" is created by the 'tmp'
> and 'javac' functions only if really needed. Creating it on each and
> every start might clobber too many places with unnecessary "tmp/"
> directories, and could even crash (no write permission).
> - Alex
I'm not sure from which script it would be "correct" to create the "tmp/".