diff options
-rwxr-xr-x | build | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -16,7 +16,9 @@ linux-libre.build.stamp: linux-libre.config.stamp linux-libre.install.stamp: linux-libre.build.stamp # TODO: Again, this is hardcoded for "rcstereo". - install -D -m 644 "src/arch/$${ARCH}/boot/uImage" dest/boot/UIMAGE + install -D -m 644 "src/arch/$${ARCH}/boot/uImage" \ + "dest/boot/uImage-$${OH_PKGVER%%-*}" + ln -sf "uImage-$${OH_PKGVER%%-*}" dest/boot/uImage cp src/.config "dest/boot/config-$${OH_PKGVER%%-*}" cp src/System.map "dest/boot/System.map-$${OH_PKGVER%%-*}" touch linux-libre.install.stamp |