Hi,
After running creduce there are lots of temp files in TMPDIR (i.e. on Linux
that is probably in /tmp.) I guess this is because of the
kill ('TERM', -$pid);
in the creduce Perl script.
Shouldn't we try to kill the compiler in a more friendly way first? Perhaps
with a TERM signal or something. That being said, I'm sure we need to
have a fallback procedure and really do a TERM if the compiler doesn't
want to be killed by TERM.
Meanwhile I decided to create a fresh temporary directory before running
creduce and cleanup that directory after creduce is done. Something like this:
export TMPDIR=$(mktemp -d /tmp/mytempdir-XXXXXX)
creduce ....
[ -d "$TMPDIR" ] && rm -fr "$TMPDIR"
--
Kees
