diff options
Diffstat (limited to 'tools/control/Makefile')
-rw-r--r-- | tools/control/Makefile | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/tools/control/Makefile b/tools/control/Makefile index f78d796d65..fcf244a445 100644 --- a/tools/control/Makefile +++ b/tools/control/Makefile @@ -1,8 +1,21 @@ -default: domctl xenctl +default: cmdline -install: install-domctl install-xenctl +install: install-cmdline -clean: clean-domctl clean-xenctl +clean: clean-cmdline + + + +cmdline: FORCE + ant -buildfile build-cmdline.xml dist + +install-cmdline: domctl + cp xenctl-cmdline.jar xenctl ../../../install/bin + chmod 755 ../../../install/bin/xenctl + +clean-cmdline: + ant -buildfile build-cmdline.xml clean + rm -f xenctl-cmdline.jar |