diff options
-rw-r--r-- | BitKeeper/etc/ignore | 2 | ||||
-rwxr-xr-x | tools/misc/xen-clone | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore index 46edd6f62d..a7f0698899 100644 --- a/BitKeeper/etc/ignore +++ b/BitKeeper/etc/ignore @@ -46,9 +46,11 @@ dist/* linux-*-xen0/* linux-*-xenU/* linux-xen-sparse +linux-*.patch netbsd-*-tools/* netbsd-*-xen0/* netbsd-*-xenU/* +netbsd-*.patch patches/* pristine-* tools/*/build/lib*/*.py diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone index d670347eb5..3fac8109f1 100755 --- a/tools/misc/xen-clone +++ b/tools/misc/xen-clone @@ -38,8 +38,6 @@ TOP=`/bin/pwd` case "$SITE" in UCCL) PATH=$PATH:/usr/groups/xeno/build_tools/bin - mkdir ${DEST_VER}-install - ln -s ${DEST_VER}-install install mkdir -p install/boot cd install/boot ln -sf ../../../xeno-roots/roots . @@ -83,7 +81,6 @@ then make -j4 world make -j4 linux24 - make -j4 dist cd ../install/boot [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz |