configure: rewrite print_config() function using awk
authorMans Rullgard <mans@mansr.com>
Sat, 27 Oct 2012 15:43:12 +0000 (16:43 +0100)
committerMans Rullgard <mans@mansr.com>
Tue, 30 Oct 2012 10:28:25 +0000 (10:28 +0000)
commitf454e879238ce317c6d905d187e7608c461a7087
treeb6e1be59225a6660db30c2f604e79b86c9faac6f
parent02e636425970fc9b9aebb31dcc7abbd36e54af2a
configure: rewrite print_config() function using awk

This is much faster with slow shells and noticeably faster even
with bash on a fast Linux system.

Signed-off-by: Mans Rullgard <mans@mansr.com>
configure