diff options
-rwxr-xr-x | tools/misc/xen-clone | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone index 0ec95ee464..a9c20d09f9 100755 --- a/tools/misc/xen-clone +++ b/tools/misc/xen-clone @@ -80,6 +80,7 @@ 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 |