projects
/
BearSSL
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Small workaround for CompCert compatibility.
[BearSSL]
/
src
/
inner.h
diff --git
a/src/inner.h
b/src/inner.h
index
1b52673
..
986220f
100644
(file)
--- a/
src/inner.h
+++ b/
src/inner.h
@@
-114,6
+114,10
@@
#define BR_64 1
#elif defined(__x86_64__) || defined(_M_X64)
#define BR_64 1
+#elif defined(__aarch64__) || defined(_M_ARM64)
+#define BR_64 1
+#elif defined(__mips64)
+#define BR_64 1
#endif
#endif