debuggers.hg

view tools/control/Makefile @ 644:5e169da77286

bitkeeper revision 1.339 (3f0d6d60VROcPVK9573_fpTcuFCUXg)

Rename domctl.xml to xenctl.xml
author rac61@labyrinth.cl.cam.ac.uk
date Thu Jul 10 13:42:56 2003 +0000 (2003-07-10)
parents e5cb8bd7ebfe
children fb720652b3f3 5c88e89672e8
line source
1 default: cmdline web
3 install: install-cmdline install-web
5 clean: clean-cmdline clean-web
9 cmdline: FORCE
10 ant -buildfile build-cmdline.xml dist
12 install-cmdline: cmdline
13 cp xenctl-cmdline.jar xenctl ../../../install/bin
14 chmod 755 ../../../install/bin/xenctl
16 clean-cmdline:
17 ant -buildfile build-cmdline.xml clean
18 rm -f xenctl-cmdline.jar
22 web: FORCE
23 ant -buildfile build-web.xml dist
25 install-web: xenctl
26 ant -buildfile build-web.xml remove || true
27 ant -buildfile build-web.xml install
29 clean-web:
30 ant -buildfile build-web.xml clean
31 rm -f xenctl-web.jar
33 FORCE: