ia64/xen-unstable

changeset 2838:c803588e38d5

bitkeeper revision 1.1159.152.2 (41888c5cOyibgfpHguqKzExMQ91-Ew)

Ensure that dist/ directory is properly populated by xen-clone.
author kaf24@freefall.cl.cam.ac.uk
date Wed Nov 03 07:44:28 2004 +0000 (2004-11-03)
parents 014de2fa52ec
children 2d1404c193f4 076976533990
files tools/misc/xen-clone
line diff
     1.1 --- a/tools/misc/xen-clone	Tue Nov 02 22:41:10 2004 +0000
     1.2 +++ b/tools/misc/xen-clone	Wed Nov 03 07:44:28 2004 +0000
     1.3 @@ -80,6 +80,7 @@ then
     1.4  
     1.5   make -j4 world
     1.6   make -j4 linux24
     1.7 + make -j4 dist
     1.8   cd ../install/boot
     1.9   [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz
    1.10