From f70860a9af6d08a130c82f2ebf427cafc90047b0 Mon Sep 17 00:00:00 2001
From: David Garske <david@wolfssl.com>
Date: Tue, 13 Dec 2016 12:18:21 -0800
Subject: [PATCH] Make sure NO_64BIT is defined.

---
 wolfssl/wolfcrypt/settings.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/wolfssl/wolfcrypt/settings.h b/wolfssl/wolfcrypt/settings.h
index e65f0617b..a67ad9b47 100644
--- a/wolfssl/wolfcrypt/settings.h
+++ b/wolfssl/wolfcrypt/settings.h
@@ -936,6 +936,8 @@ static char *fgets(char *buff, int sz, FILE *fp)
     #define NO_WOLFSSL_DIR
     #undef  NO_RABBIT
     #define NO_RABBIT
+    #undef  NO_64BIT
+    #define NO_64BIT
     #define STM32F2_RNG
     #define STM32F2_CRYPTO
     #if !defined(__GNUC__) && !defined(__ICCARM__)
@@ -960,6 +962,8 @@ static char *fgets(char *buff, int sz, FILE *fp)
     #define NO_WOLFSSL_DIR
     #undef  NO_RABBIT
     #define NO_RABBIT
+    #undef  NO_64BIT
+    #define NO_64BIT
     #define STM32F4_RNG
     #define STM32F4_CRYPTO
     #define NO_OLD_RNGNAME