diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/misc/xen-clone | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone index ea3b483316..08916da2c0 100755 --- a/tools/misc/xen-clone +++ b/tools/misc/xen-clone @@ -79,7 +79,7 @@ then cd ../install/boot ln -s vmlinux-${LINUX_VER}-xen0 xenolinux.gz -elif +else # old style repository without 'make world' |