> 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). > > Cheers, > - Alex
I'm not sure from which script it would be "correct" to create the "tmp/". /Jon -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe