K 10 svn:author V 5 harti K 8 svn:date V 27 2004-11-12T07:57:17.000000Z K 7 svn:log V 410 Fix a (very) long standing bug in make (this has been there probably from the beginning). Make used to handle all its interrupt-time stuff directly from the signal handler, including calls to printf, accessing global data and so on. This is of course wrong and could provoke a core dump when interrupting make. Just set a flag in the signal handler and do everything else from the main thread. PR: bin/29103 END