Pass TCP timestamps config define to LWIP code

The corresponding Unikraft config has a CONFIG_ prefix that won't be
picked up by the LWIP source code.

Signed-off-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Radu Nichita <radunichita99@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #26

diff --git a/include/lwipopts.h b/include/lwipopts.h
index 1f03ccb5b7c6ce05bc8356cf99c8d53916b99518..bedd17c7b458952cacf19443d6364392c1ead62b 100644 (file)
--- a/include/lwipopts.h
+++ b/include/lwipopts.h
@@ -158,6 +158,10 @@ void sys_free(void *ptr);
 #define LWIP_TCP_KEEPALIVE 1
 #endif /* CONFIG_LWIP_TCP_KEEPALIVE */
 
+#ifdef CONFIG_LWIP_TCP_TIMESTAMPS
+#define LWIP_TCP_TIMESTAMPS 1
+#endif /* CONFIG_LWIP_TCP_TIMESTAMPS */
+
 #if CONFIG_LWIP_WND_SCALE
 /*
  * Maximum window and scaling factor