ORIGINAL POSTING:
> One of our users has encountered a serious problem with '/bin/make'
> under SunOS 4.1.2. If he interrupts it with a ctrl-C, it *DELETES*
> the source file it is currently compiling.
SUMMARY:
Make normally deletes the target files if interrupted. In our case
the source file is indeed a target; naturally it got dumped when
CTRL-C is issued. The easy solution to this is to list these files
in the .PRECIOUS special funtion target. Man pages has full details
on this special function target.
Many thanks to the folks below for their assistance:
Anatoly M. Lisovsky
Mike Raffety
Michael Harris
John Benjamins
Russ Poffenberger
Perry Hutchison
-----------------------------------------------------------------------------
| Hanh Vu, Systems Support | e-mail: hanh@cse.fau.edu |
| Computer Science and Engineering | phone: (407) 367-2801 |
| Florida Atlantic University | fax: (407) 367-2800 |
| Boca Raton, FL 33431 | |
-----------------------------------------------------------------------------
This archive was generated by hypermail 2.1.2 : Fri Sep 28 2001 - 23:06:52 CDT