Log the configure command line in the makefile
Log the configure command line in the makefile

Sometimes useful for debugging

webmaster128/botan,webmaster128/botan,randombit/botan,webmaster128/botan,webmaster128/botan,randombit/botan,randombit/botan,randombit/botan,randombit/botan,webmaster128/botan