in tools/registry.py [0:0]
def add_build_target(self, target): if not target.startswith("@" + self.name): target = "@" + self.name + target self.build_targets.append(target) return self