On Tuesday 13 April 2010 16:37:13 David Sommerseth wrote: > The config.log is *only* used for getting the command line of how > ./configure was called, via configure_log.awk. To my knowledge, this > information is not available anywhere else. If I have overseen this > somewhere, then please enlighten me.
Couldn't that be done in a much cleaner way by just using the $* shell variable? Heiko -- Heiko Hund | Software Engineer | Phone +49-721-25516-237 | Fax -200 Astaro AG | An der RaumFabrik 33a | 76227 Karlsruhe | Germany Executive Board: Markus Hennig, Jan Hichert, Günter Junk, Dr. Frank Nellissen Chairman of the Supervisory Board: Stanley J. Krasnow Headquarter Location: Karlsruhe Commercial Register: Mannheim HRB 108997
