(re_max_failures): Reduce to 4000.
tree5bfc283261e1a0669272768c377c7bd6bcba3a30
-rw-r--r-- 4558 GETTING.GNU.SOFTWARE
-rw-r--r-- 27176 INSTALL
-rw-r--r-- 21476 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4762 build-ins.in
-rw-r--r-- 7467 config.bat
-rwxr-xr-x 18262 config.guess
-rwxr-xr-x 18350 config.sub
-rw-r--r-- 45232 configure.in
-rwxr-xr-x 50350 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
-rwxr-xr-x 14271 make-dist
drwxr-xr-x - man
drwxr-xr-x - msdos
drwxr-xr-x - nt
drwxr-xr-x - src
-rw-r--r-- 7525 tparam.c
-rw-r--r-- 219 vpath.sed