Bug#291634: mysql-server requires gawk?

[Petr Ferschmann]

Hello,
I got same problem when installing mysql-server as described in Bug #291634.
On machine that is installed for 2 months, debian testing. I removed 
mysql-server and tried to install it again.

I have newest coreutils, fileutils, mysql-server and awk-original.
I have a lot of space (80GiB). I fixed it by removing awk-original and 
installing gawk.
I think the command

if LC_ALL=C df --portability $DATADIR/. | awk 'END { exit ($4>1000) }'; then
is interpreted differently in gawk and in awk-original.
--
Petr Ferschmann
SoftEU s.r.o.
-----------------------------------
Sady Petatricatniku 31
301 00 Plzen
Czech Republic
-----------------------------------
Phone: +420 373 729 300
Fax:   +420 373 729 301
Cell:  +420 775 638 008
E-mail: [EMAIL PROTECTED] 

begin:vcard
fn:Ing. Petr Ferschmann
n:Ferschmann;Petr
org:SoftEU s.r.o.
adr;quoted-printable;quoted-printable:;;Sady p=C4=9Btat=C5=99ic=C3=A1tn=C3=ADk=C5=AF 31;Plze=C5=88;;301 00;Czech Republic
email;internet:[EMAIL PROTECTED]
title:Software development
tel;work:+420 373 729 300
tel;fax:+420 373 729 301
tel;cell:+420 775 638 008
url:http://www.softeu.com/
version:2.1
end:vcard