[GRASS5] Mawk vs Gawk?

[Hamish]

Hi,

I've just noticed that (debian/testing's) mawk doesn't work with 5.3's
v.in.garmin.sh. Specifically, it doesn't like "%lf"s. 

Should the script be changed to "%f"s or should mawk be unsupported?

bug or feature? The mawk man page states %lf should be supported.

the error:


$ tac $TMP | $AWK 'BEGIN { FS="\t" ; R=0 } $1=="T" { printf(" %lf %lf\n", $3, $4) ; ++R } END { printf("L %d\n", R) }'
awk: run time error: improper conversion(number 1) in printf(" %lf %lf
")
        FILENAME="-" FNR=1 NR=1



thanks for any insight,
Hamish