[Omake] Alternate /tmp directory?

[Jared C. Davis]

Hi,

Is there a way to tell OMake to use a different directory than /tmp to
create files like "omake02e1e7.shell" ?

This is kind of silly, but there's an evil user (not me, honest!) on
my system whose programs, from time to time, go berserk and fill up
/tmp to 100%.  Obviously that's not OMake's fault and I should talk to
him about the virtues of not being evil.  But when it happens, I can't
use OMake anymore because I get errors like this:

$ omake -j 64
*** omake: changing directory to ...
*** omake: reading OMakefiles
/usr/bin/printf: write error: No space left on device
*** omake error:
   File OMakeroot: line 34, characters 15-40
   command terminated with code 1:
      printf '...'

I thought maybe I could work around this by making a tmp directory
inside my project somewhere, which lives on a partition that the evil
user can't touch.

Of course, this is probably not something that other users would need.
 So if it is not yet implemented, please don't waste your time on it
-- I'm just hoping that maybe there's already a way to do it that I
just don't know about. :)

Thanks!

Jared

-- 
Jared C. Davis <jared at cs.utexas.edu>
11410 Windermere Meadows
Austin, TX 78759
http://www.cs.utexas.edu/users/jared/