diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-05-22 14:18:28 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-05-22 14:18:28 -0700 |
| commit | 3195f83203cfd6d05cd56829c02c16b5dc5c274d (patch) | |
| tree | 78f92fb02721ca535257f06af153ad59c5f90a94 /Makefile | |
| parent | 9dfe0eb34b9b5975c5718816792f50f7585c6d09 (diff) | |
| download | sparse-dev-3195f83203cfd6d05cd56829c02c16b5dc5c274d.tar.gz | |
Use %td when printing a ptrdiff_t to avoid problems on 64-bit platforms
Thanks to Damien Lespiau for reporting the problem.
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions