Stop on gen-num-limits failures

[Gabriel Dos Reis]

Rainer Orth <ro@TechFak.Uni-Bielefeld.DE> writes:

| > > Wed May 23 00:13:32 2001  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
| > > 
| > > 	* mknumeric_limits: Stop if gen-num-limits dies.
| > 
| > Looks good to me, but I'll let Gaby give his ok and check it in.
| 
| He did (in private mail), but didn't check it in yet.

Done.

-- Gaby