diff options
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 907260707b..4e590fd30b 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -8,6 +8,8 @@ all: $(MAKE) -C xentrace $(MAKE) -C python $(MAKE) -C xfrd + $(MAKE) -C xcs + $(MAKE) -C ioemu install: $(MAKE) -C check @@ -19,6 +21,8 @@ install: $(MAKE) -C python install $(MAKE) -C xfrd install $(MAKE) -C sv install + $(MAKE) -C xcs install + $(MAKE) -C ioemu install clean: $(MAKE) -C libxutil clean @@ -28,4 +32,5 @@ clean: $(MAKE) -C xentrace clean $(MAKE) -C python clean $(MAKE) -C xfrd clean - + $(MAKE) -C xcs clean + $(MAKE) -C ioemu clean |