diff options
| -rwxr-xr-x | INSTALL/tools/scripts/mksdcard | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/INSTALL/tools/scripts/mksdcard b/INSTALL/tools/scripts/mksdcard index 126105b..9a4cb64 100755 --- a/INSTALL/tools/scripts/mksdcard +++ b/INSTALL/tools/scripts/mksdcard @@ -56,6 +56,7 @@ initdisk() { make_image() { local imgtar=$1 local ydir=$(dirname $imgtar) + local machine=$(cd $ydir && basename $(pwd -P)) local image=$2 local size=$3 local tmpd=/tmp/dir$$ @@ -75,8 +76,19 @@ make_image() { sudo mkdir $tmpd sudo mount $loop $tmpd echo "Extracting image tarball..." - sudo tar pjxf $imgtar -C $tmpd --xattrs-include='*' - sudo cp $ydir/uImage+dtb $tmpd/boot + sudo tar-1.28 pjxf $imgtar -C $tmpd --xattrs-include='*' + echo "Detected machine $machine" + case $machine in + porter) + sudo cp -v $ydir/uImage+dtb $tmpd/boot + ;; + m3ulcb|h3ulcb) + sudo cp -v $ydir/Image-*-$machine.dtb $tmpd/boot + ;; + *) + echo "Unknown machine '$machine': don't know how to handle kernel ..." >&2 + ;; + esac sudo umount $loop sudo losetup -d $loop sudo rmdir $tmpd |