diff options
Diffstat (limited to 'tools/misc/xen-clone')
-rwxr-xr-x | tools/misc/xen-clone | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/tools/misc/xen-clone b/tools/misc/xen-clone index 63fccb841d..0ec95ee464 100755 --- a/tools/misc/xen-clone +++ b/tools/misc/xen-clone @@ -68,7 +68,16 @@ then export LINUX_SRC_PATH=${LINUX_DIR} cd ${DEST_BK_REP} - ln -sf ../install install + + # Recent repositories install into 'dist/install' rather than 'install'. + if [ -f install.sh ] + then + mkdir -p dist + ln -sf ../../install dist/install + else + ln -sf ../install install + fi + make -j4 world make -j4 linux24 cd ../install/boot |