On Sat, Dec 31, 2022 at 3:57 PM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote: > > No. > scripts/target.json is a generated file. > It is generated in objtree, not in srctree. I meant `$(objtree)`, i.e. I meant if we should use a $(...)` prefix for clarity/consistency (even if it is just `.`). Happy New Year! Cheers, Miguel
