| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |
From: hartmans@MIT.EDU Date: Thu, 16 Nov 1995 22:15:01 -0500 To: krb5-bugs@MIT.EDU I discovered that interrupting a make Makefile is a bad idea because config.status is not precious, so make deletes it, but the next make will try to use it to recreate the Makefile. --Sam
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |