diff make-dist @ 20672:0ef14112e9b3

Make GDB not handle SIGINT.
author Karl Heuer <kwzh@gnu.org>
date Sun, 18 Jan 1998 04:54:59 +0000
parents 036dac77f78f
children 17bcec31f3d4
line wrap: on
line diff