comparison make-dist @ 59051:a5dd77dcb82e

(unwind_to_catch): Clear immediate_quit.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Dec 2004 11:33:57 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
comparison
equal deleted inserted replaced
59050:1ee6d4f5d727 59051:a5dd77dcb82e