df displays 0.

[Andrey A. Chernov]

On Mon, Apr 14, 2003 at 14:11:52 +0400, Andrey A. Chernov wrote:
> On Mon, Apr 14, 2003 at 12:05:16 +0200, Christoph Kukulies wrote:
> 
> > /dev/ad0s1e    257838       22   237190    0.%    /tmp
> 
> Looks like new printf error.

Test program:

main() {
(void)printf(" %5.0f%%\n", (double)0.1);
}