linux/configure: use -O option of make to improve readability of config.log
linux/configure: use -O option of make to improve readability of config.log

luigirizzo/netmap,luigirizzo/netmap,luigirizzo/netmap,luigirizzo/netmap,luigirizzo/netmap