> > More precisely, I would like to know how it knows which options have > > already been passed a previous call of configure. > > Oh, most likely that wasn't autoreconf at all, but > ./config.status --recheck > ./config.status > what you were seeing. Take a look at > ./config.status --version indeed, config.status contains what I wanted. thank you. Vincent Torri _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
