ia64/xen-unstable

diff tools/domctl/Makefile @ 423:67a66de6d9a0

bitkeeper revision 1.206 (3eb7820fjxOimwW6NMSeo6KyAdqZUQ)

Many files:
new file
domctl, xi_ tools, updated domain builder, /proc/xeno/domains
author tlh20@elite.cl.cam.ac.uk
date Tue May 06 09:36:15 2003 +0000 (2003-05-06)
parents
children 8b178f8d401d
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/tools/domctl/Makefile	Tue May 06 09:36:15 2003 +0000
     1.3 @@ -0,0 +1,5 @@
     1.4 +default:
     1.5 +	ant dist
     1.6 +
     1.7 +clean:
     1.8 +	ant clean