Blaster4385/adevtool
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

check in product Makefile that BUILD_ID is set correctly

Browse source
This commit is contained in:
Dmitry Muhomor 2023-08-26 15:07:31 +03:00 committed by Daniel Micay
parent 0b0b76ef70
commit 70129836eb
2 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/blobs/build.ts
View file

@ -238,7 +238,7 @@ export async function writeBuildFiles(
}
if (build.productMakefile != undefined) {
let mk = serializeProductMakefile(build.productMakefile)
let mk = serializeProductMakefile(build.productMakefile, config)
await fs.writeFile(`${dirs.out}/${build.productMakefile.name}.mk`, mk)
}

10
src/build/make.ts
View file

@ -222,7 +222,7 @@ export function serializeDeviceMakefile(mk: DeviceMakefile) {
return finishBlocks(blocks)
}
export function serializeProductMakefile(mk: ProductMakefile) {
export function serializeProductMakefile(mk: ProductMakefile, config?: DeviceConfig) {
let blocks = startBlocks()
blocks.push(`# Inherit AOSP product
@ -238,6 +238,14 @@ PRODUCT_MANUFACTURER := ${mk.manufacturer}`)
blocks.push(`PRODUCT_ENFORCE_RRO_TARGETS := ${mk.enforceRros}`)
}
let build_id = config?.device?.build_id
if (build_id !== undefined) {
blocks.push(`ifneq ($(BUILD_ID),${build_id})
$(error BUILD_ID: expected ${build_id}, got $(BUILD_ID))
endif`)
}
return finishBlocks(blocks)
}