Diff: user_settings.h

Revision:

14:167253f4e170

Parent:

12:1a06964c2adb

--- a/user_settings.h	Tue Aug 22 10:48:22 2017 +0000
+++ b/user_settings.h	Sat Aug 18 22:19:52 2018 +0000
@@ -1,5 +1,5 @@
-    #include <stddef.h>
-    #define MBED
+    //#include <stddef.h>
+    //#define MBED
     #define WOLFSSL_CMSIS_RTOS    
     #define WOLFSSL_USER_IO
     #define NO_WRITEV
@@ -16,7 +16,7 @@
     //#define HAVE_ONE_TIME_AUTH
     
     #define NO_SESSION_CACHE // For Small RAM
-    //#define IGNORE_KEY_EXTENSIONS
+
     #define NO_WOLFSSL_DIR  
     #define DEBUG_WOLFSSL
 
@@ -30,8 +30,9 @@
     /* Options for Sample program */
     //#define WOLFSSL_NO_VERIFYSERVER
     //#define NO_FILESYSTEM
-    #ifndef WOLFSSL_NO_VERIFYSERVER
+    //#ifndef WOLFSSL_NO_VERIFYSERVER
         #define TIME_OVERRIDES
+        #define HAVE_TM_TYPE
         #define XTIME time
         #define XGMTIME localtime
-    #endif
\ No newline at end of file
+    //#endif
\ No newline at end of file