Hello, I have another question, this time I really don't want to look silly, so I really tried to grep the manual faithfully, and the only place that it says what happens when you try to kill make, is:
5.6 Interrupting or Killing make
If make gets a fatal signal while a command is executing, it may delete the target file that the command was supposed to update. This is done if the target file's last-modification time has changed since make first checked it.
This does not work for me.
Here is an example, not a real-life situation of course, but as simple as I could make it to capture the essence of the problem:
foobar.pl is:
open FOOBAR, ">foobar";
while (1) {
}
and makefile is:
SHELL = cmd.exe
foobar:
perl foobar.pl
Now here's what happens when I type Ctrl-C while the perl script is looping:
D:\tmp>make foobar
perl foobar.pl
Terminating on signal SIGINT(2)
make: *** Deleting file `foobar'
make: unlink: foobar: Permission denied
make: *** [foobar] Error 2
and the file foobar is still there, however, I can delete it without any problem:
D:\tmp>del foobar
D:\tmp>
So I was able to delete it after the perl script is gone, why can't make wait until the perl script is gone and then delete the file?
Thank you for any insight! Mark
_______________________________________________
Help-make mailing list
Help-make@...
http://lists.gnu.org/mailman/listinfo/help-make