Knowing that most compilers use the TMPDIR environment variable, wouldn't it be possible to set TMPDIR before running the compiler(s)?
This is definitely possible. However, I'm just trying to figure out of it's a good idea. The alternative to dealing with this in C-Reduce would be for you to set this variable either in your test.sh scripts or else set it by hand before running C-Reduce. What do people think?
John
