[PATCH] extract-headers: work correctly with older 'awk'

[Matt Helsley]

On Wed, Oct 28, 2009 at 01:12:43PM -0400, Oren Laadan wrote:
> From: Oren Laadan <orenl at cs.columbia.edu>
> 
> Older versions of awk (mawk, specifically) do not understand
> constructs like "[[:space:]]", "[[:digit:]] etc. Replace these with
> "[ \t]", "[0-9]".
> 
> Cc: Matt Helsley <matthltc at us.ibm.com>
> Signed-off-by: Oren Laadan <orenl at cs.columbia.edu>

Reviewed-by: Matt Helsley <matthltc at us.ibm.com>

Cheers,
	-Matt Helsley