1.1 --- a/tools/misc/xen-clone	Sat May 14 10:14:54 2005 +0000
     1.2 +++ b/tools/misc/xen-clone	Sun May 15 05:27:55 2005 +0000
     1.3 @@ -82,8 +82,14 @@ then
     1.4   make -j4 world
     1.5   make -j4 linux24
     1.6   cd ../install/boot
     1.7 - [ -r vmlinuz-2.6.*-xen0 ] && ln -s vmlinuz-2.6.*-xen0 xenolinux.gz
     1.8 -  
     1.9 + if [ -r vmlinuz-2.6-xen0 ]
    1.10 + then
    1.11 +  ln -s vmlinuz-2.6-xen0 xenolinux.gz
    1.12 + else
    1.13 +  kern=`ls vmlinuz-2.6.*-xen0 | head -1`
    1.14 +  [ -r "$kern" ] && ln -s "$kern" xenolinux.gz
    1.15 + fi  
    1.16 +
    1.17  else
    1.18   # old style repository without 'make world'
    1.19