Maybe there is something funny about your environment, like an
auto-mounted NFS src directory which got auto-unmounted during the build?No, it's all local. However ... it must have been some craziness left over from a previous build, even though I did make distclean in srcdir and removed objdir -- now I can't reproduce it either, it goes through fine. Very sorry to bother. Karl
