diff options
author | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-23 06:27:17 -0300 |
---|---|---|
committer | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-04-23 06:27:17 -0300 |
commit | f0ac81b432384b8763ec737e88d6675228e13c33 (patch) | |
tree | 45b836ad8b4127abdcd31c3bf8d466a3c4db1c2a | |
parent | 4a29986fade6c81177dff812ddba69a598a010d8 (diff) | |
download | jet-f0ac81b432384b8763ec737e88d6675228e13c33.tar.gz jet-f0ac81b432384b8763ec737e88d6675228e13c33.zip |
Allow redefinition of PAGE_SIZE
-rw-r--r-- | page.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2,7 +2,9 @@ #include <string.h> #include <stdlib.h> +#ifndef PAGE_SIZE #define PAGE_SIZE 4096 +#endif struct page { uint8_t *elements; |