diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/disk_image | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/disk_image b/scripts/disk_image index f0afcd0..57309d5 100755 --- a/scripts/disk_image +++ b/scripts/disk_image @@ -293,6 +293,10 @@ _part1_size=`stat -L --printf="%s" $UBOOT_OUT/$DOM0_KERNEL` _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$DEVICE_TREE` )) _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$UBOOT_SCRIPT` )) +if test "${DOM0_RAMDISK}" +then + _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/${DOM0_RAMDISK}` )) +fi if test "${UBOOT_SOURCE}" then _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$UBOOT_SOURCE` )) @@ -419,6 +423,11 @@ cp --parents "$DOM0_KERNEL" "${DESTDIR_ABS}/part/disk1/" cp --parents "$DEVICE_TREE" "${DESTDIR_ABS}/part/disk1/" cp --parents "$UBOOT_SCRIPT" "${DESTDIR_ABS}/part/disk1/" +if test "${DOM0_RAMDISK}" +then + cp --parents "$DOM0_RAMDISK" "${DESTDIR_ABS}/part/disk1/" +fi + if test "${UBOOT_SOURCE}" then cp --parents "$UBOOT_SOURCE" "${DESTDIR_ABS}/part/disk1/" |