-
Committer:
fraserb at gmail
-
Date:
2012-04-03 15:50:12 UTC
-
Revision ID:
fraserb@gmail.com-20120403155012-glxw4mntxb8jvvo2
Fix for a bug in 32-bit Debian.
Namely, awk's printf("%d") doing what it's supposed to do, cast
it's operand to (int), which screws up large numbers.
The fix is simple, although it mostly just pushes the problem
under the rug; using %.0f instead of %d.