Makefile now supports userspace-only build

diff --git a/Makefile b/Makefile
index 7de7b5c..0ce63d6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,9 @@
 
 default: xseg
 
-build: xseg
+build:
+       make -C xseg XSEG_DOMAIN_TARGETS="user"
+       rm xseg/config.mk
 
 xseg:
        make -C xseg