diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-08-03 22:50:00 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-08-03 23:53:49 -0400 |
| commit | fa1c4b518ec7d8ec2d647213ee651cde4d6c9d7e (patch) | |
| tree | 6f95fd77ef7f9a6a52501fa58c288cb8026ec66e /src/machine/Makefile | |
| parent | 1f2b7175cf84bdbef6ee6917224658ba2adf43bf (diff) | |
Fix misuse of uint64_t as size_t
They have different size on 32 bit, so they are really not interchangable.
Diffstat (limited to 'src/machine/Makefile')
0 files changed, 0 insertions, 0 deletions