bitkeeper revision 1.421 (3f5f4fc1jzqkUGfyUfgcJVDUsnsFnQ)

fix

diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index 8d1f1e67c60bfe37b69c10cee71fff2f68527182..f457615a6df8fad85a58d2218ced0637461da86c 100644 (file)
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -468,3 +468,4 @@ tools/internal/xi_usage
 tools/internal/xi_sched_domain
 tools/internal/xi_sched_global
 xen/arch/i386/nmi.o
+xen/drivers/net/dummy.o

diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone
index 8ea5958b4babe0c44a1cc3af3225d2cfce3a3c2e..daaf54e90b7ac727cf894684fd6a855e5bc1e942 100755 (executable)
--- a/tools/misc/xen-clone
+++ b/tools/misc/xen-clone
@@ -35,7 +35,7 @@ TOP=`/bin/pwd`
 
 # site-specific set up of installation directories
 case "$SITE" in
-CL)
+UCCL)
        PATH=$PATH:/usr/groups/xeno/build_tools/bin
        mkdir -p install/boot
        cd install/boot