> rules/post/ptxd_make_world_common.make | 4 ++++ > scripts/lib/ptxd_make_world_report.sh | 9 +++++ > 2 files changed, 13 insertions(+) > > diff --git a/rules/post/ptxd_make_world_common.make > b/rules/post/ptxd_make_world_common.make > index 4b6f691b6..189bc4ec9 1...
> > diff --git a/rules/post/ptxd_make_world_common.make > > b/rules/post/ptxd_make_world_common.make > > index 08120607a..0804f0b81 100644 > > --- a/rules/post/ptxd_make_world_common.make > > +++ b/rules/post/ptxd_make_world_common.make > > @@ -78,6 +78,10 @@ wo...