Compile tools/misc.

diff --git a/master/fix_compilation b/master/fix_compilation
index a634631438e745a8670b87aa3a501c95faa0641c..9a09543df80dde5af12579eb7a3a607e648b6f89 100644 (file)
--- a/master/fix_compilation
+++ b/master/fix_compilation
@@ -1,5 +1,5 @@
 diff --git a/tools/Makefile b/tools/Makefile
-index 00e3981..ea26bd9 100644
+index 00e3981..11b71f1 100644
 --- a/tools/Makefile
 +++ b/tools/Makefile
 @@ -2,16 +2,16 @@ XEN_ROOT = ../
@@ -12,9 +12,8 @@ index 00e3981..ea26bd9 100644
  SUBDIRS-y += libxc
  SUBDIRS-y += flask
  SUBDIRS-y += xenstore
--SUBDIRS-y += misc
+ SUBDIRS-y += misc
 -SUBDIRS-y += examples
-+SUBDIRS-n += misc
 +SUBDIRS-n += examples
  SUBDIRS-y += hotplug
  SUBDIRS-y += xentrace