Hi, I am trying to print what a user would pass to a configure script. For example: ./configure --enable-foo --enable-bar I noticed that in config.log, the configure script will save a copy of how it was called by the user. Is there a variable that stores this information? So far the only solution I've come up with is using cat config.log | grep "./configure" but I feel like there is a much more elegant solution. Thank you, Sam _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
