[UNIKRAFT/APPHELLOWORLD PATCH 4/6] Enable compiling main.c without Unikraft

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Enables compiling the "Hello World" application directly with gcc:
`gcc main.c`. This is for demo purposes.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main.c b/main.c
index 5b07817..0a14cb0 100644
--- a/main.c
+++ b/main.c
@@ -1,7 +1,9 @@
 #include <stdio.h>
 
 /* Import user configuration: */
+#ifdef __Unikraft__
 #include <uk/config.h>
+#endif /* __Unikraft__ */
 
 #if CONFIG_APPHELLOWORLD_SPINNER
 #include <time.h>
-- 
2.20.1