>> Ultimately, it is partisan nonsense that the only file system that >> can be agreed on is FAT, but that is the reality. > > There really are many, many more elegant solutions than sharing > files using FAT! [...] Note, however, that failure of FAT *is not obvious* for the casual user! You have to explicitly know this. So please add a line or two to the autoconf documentation that there might be serious issues with FAT due to coarse time stamps. Werner _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx https://lists.gnu.org/mailman/listinfo/autoconf