"Andy" == Andy Champ <[email protected]> writes:
Andy> I've checked the archives, and I can't see this. It's trivially
Andy> reproduced, and quite confusing.
Andy>
Andy> My check script to reproduce is as follows:
Andy>
Andy> #!/bin/bash
Andy> exit 1
Andy>
Andy> When I run it I get this error:
Andy>
Andy> test (and sanity check) fails at /usr/local/bin/creduce line 205.
Unix scripts generally return 0 for "no error" and non-zero for "error."
That is what C-Reduce expects.
The error message above tells you that your script failed for the initial
program.
Andy> cannot remove path when cwd is /tmp/creduce-hP2fgi for
Andy> /tmp/creduce-hP2fgi: at /usr/share/perl/5.14/File/Temp.pm line
Andy> 902
Generally, these warnings can be ignored.
I'm sure I've actually answered your question...
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
