From a0c03d3cc5c47e56dde6352de193541fd9987030 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 23:34:27 +0100
Subject: [PATCH] Wed 22 Jan 23:34:02 CET 2025

---
 library/stdlib.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/library/stdlib.c b/library/stdlib.c
index 3a6cb67..0d1fda8 100644
--- a/library/stdlib.c
+++ b/library/stdlib.c
@@ -5,7 +5,6 @@
 void exit( int code )
 {
 	syscall_process_exit(code);
-	
 }
 
 /* Some easy things yet to be implemented. */
@@ -18,3 +17,7 @@ int usleep( int usec );
 int time( int *t );
 struct timeval;
 int gettimeofday( struct timeval *tval, void *arg );
+
+#ifdef LIBRARY_STDLIB_EXT
+  #include "library_stdlib_ext.c"
+#endif