[TOOLS] xenctrl.h defines __XEN_TOOLS__ if it's not already.

Signed-off-by: Keir Fraser <keir@xensource.com>

tools/debugger/gdb/gdbbuild

@@ -18,7 +18,7 @@ cd gdb-6.2.1-linux-i386-xen
 if [ "$MAKE" ]; then
     $MAKE
 elif which gmake ; then
-    gmake -j4 CFLAGS=-D__XEN_TOOLS__
+    gmake -j4
 else
-    make -j4 CFLAGS=-D__XEN_TOOLS__
+    make -j4
 fi

tools/libxc/xenctrl.h

@@ -9,6 +9,11 @@
 #ifndef XENCTRL_H
 #define XENCTRL_H
 
+/* Tell the Xen public headers we are a user-space tools build. */
+#ifndef __XEN_TOOLS__
+#define __XEN_TOOLS__ 1
+#endif
+
 #include <stddef.h>
 #include <stdint.h>
 #include <sys/ptrace.h>