diff misc/GNUmakefile @ 2204:70a2bcc7e307

fix divide by zero if max_fails=0
author Igor Sysoev <igor@sysoev.ru>
date Tue, 26 Aug 2008 14:34:16 +0000
parents 72ca7922d30d
children d43d73277c5c
line wrap: on
line diff