diff options
Diffstat (limited to 'scripts/disk_image')
-rwxr-xr-x | scripts/disk_image | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/disk_image b/scripts/disk_image index fc64386..1d71863 100755 --- a/scripts/disk_image +++ b/scripts/disk_image @@ -327,6 +327,10 @@ then i=$(( $i + 1 )) done fi +if test "${BITSTREAM}" +then + _part1_size=$(( $_part1_size + `stat -L --printf="%s" $UBOOT_OUT/$BITSTREAM` )) +fi i=0 while test $i -lt $NUM_DOMUS @@ -462,6 +466,10 @@ then i=$(( $i + 1 )) done fi +if test "${BITSTREAM}" +then + cp --parents "$BITSTREAM" "${DESTDIR_ABS}/part/disk1/" +fi i=0 while test $i -lt $NUM_DOMUS |