From 3c686fc9c670cea0b5f8b198a61de4812a9836d1 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 23 Jan 2016 20:32:11 +0100
Subject: [PATCH] libports: fix warning in x86emu

---
 repos/libports/include/x86emu/sys/types.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/libports/include/x86emu/sys/types.h b/repos/libports/include/x86emu/sys/types.h
index 5ac791da9..9bdecffd5 100644
--- a/repos/libports/include/x86emu/sys/types.h
+++ b/repos/libports/include/x86emu/sys/types.h
@@ -24,4 +24,6 @@ typedef genode_uint64_t uint64_t;
 
 int abs(int j);
 
+#ifndef NULL
 #define NULL (void*)0
+#endif