aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>2004-03-18 15:57:28 +0000
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>2004-03-18 15:57:28 +0000
commitbc906fc66aa71dd44f55d3446c15eb8a89f99060 (patch)
treedfbfd2e407f091cf22e1d8f20cebf64d4a604190 /Makefile
parentfcaa8335c31d2ab6682ea39b607f9fa80599e168 (diff)
downloadxen-bc906fc66aa71dd44f55d3446c15eb8a89f99060.tar.gz
xen-bc906fc66aa71dd44f55d3446c15eb8a89f99060.tar.bz2
xen-bc906fc66aa71dd44f55d3446c15eb8a89f99060.zip
bitkeeper revision 1.810 (4059c6e8EQAxVfRpkNjdygO1O6otTQ)
schedule.c, sched_bvt.c, main.py, Makefile, setup.py, Xc.c: Python tool fixes. tempfile.py: new file
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index f1943310e0..c6324ee21d 100644
--- a/Makefile
+++ b/Makefile
@@ -19,8 +19,8 @@ install: all
$(MAKE) -C tools install
dist: all
- $(MAKE) prefix=`pwd`/../install -C xen install
- $(MAKE) prefix=`pwd`/../install -C tools install
+ $(MAKE) prefix=`pwd`/../install dist=yes -C xen install
+ $(MAKE) prefix=`pwd`/../install dist=yes -C tools install
clean:
$(MAKE) -C xen clean