From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dan Nicholson Date: Thu, 29 Oct 2009 20:40:22 +0000 Subject: Re: [PATCH] extras/keymap: fix build (GEN keys.txt) Message-Id: <91705d080910291340w158f0eb6r50403bbf46e876a2@mail.gmail.com> List-Id: References: <4AE9A648.2090006@tuffmail.co.uk> In-Reply-To: <4AE9A648.2090006@tuffmail.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit To: linux-hotplug@vger.kernel.org On Thu, Oct 29, 2009 at 1:17 PM, Diego Elio “Flameeyes” wrote: > Il giorno Thu, 29/10/2009 alle 20.10 +0000, Alan Jenkins ha scritto: >> >> Thanks for the corrections Martin.  Looks like the real problem is my >> awk doesn't grok "[[:space:]]". > >> My awk package is mawk-1.3.3-11.1. >> >> > Heh, no wonder then, [[:space:]] is a GNU regexp extension, which is > thus only available on GNU awk (gawk); who's going to choose between > checking for gawk explicitly or make it use a generic regexp? gawk(1) says that the character classes are a POSIX extension, but whatever. Isn't [ \t] equivalent for this case? That works on my system running gawk with --traditional, but I don't have mawk. -- Dan