1.1 --- a/BitKeeper/etc/ignore	Wed Nov 03 13:09:22 2004 +0000
     1.2 +++ b/BitKeeper/etc/ignore	Wed Nov 03 13:20:51 2004 +0000
     1.3 @@ -46,9 +46,11 @@ dist/*
     1.4  linux-*-xen0/*
     1.5  linux-*-xenU/*
     1.6  linux-xen-sparse
     1.7 +linux-*.patch
     1.8  netbsd-*-tools/*
     1.9  netbsd-*-xen0/*
    1.10  netbsd-*-xenU/*
    1.11 +netbsd-*.patch
    1.12  patches/*
    1.13  pristine-*
    1.14  tools/*/build/lib*/*.py

     2.1 --- a/tools/misc/xen-clone	Wed Nov 03 13:09:22 2004 +0000
     2.2 +++ b/tools/misc/xen-clone	Wed Nov 03 13:20:51 2004 +0000
     2.3 @@ -38,8 +38,6 @@ TOP=`/bin/pwd`
     2.4  case "$SITE" in
     2.5  UCCL)
     2.6  	PATH=$PATH:/usr/groups/xeno/build_tools/bin
     2.7 -	mkdir ${DEST_VER}-install
     2.8 -	ln -s ${DEST_VER}-install install
     2.9  	mkdir -p install/boot
    2.10  	cd install/boot
    2.11  	ln -sf ../../../xeno-roots/roots .
    2.12 @@ -83,7 +81,6 @@ then
    2.13  
    2.14   make -j4 world
    2.15   make -j4 linux24
    2.16 - make -j4 dist
    2.17   cd ../install/boot
    2.18   [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz
    2.19