maybe adding trunk/src/texk/web2c/mpdir/autom4te.cache will stop the endless autoconf...
[mplib] / src / texk / web2c / mpdir / autom4te.cache /
drwxr-xr-x   ..
-rw-r--r-- 735188 output.0
-rw-r--r-- 734618 output.1
-rw-r--r-- 10130 requests
-rw-r--r-- 435112 traces.0
-rw-r--r-- 42959 traces.1