Hi Anton, >> Some targets require label prefixes instead of suffixes >> (i.e., ':my_label' instead of 'my_label:'). The attached patch >> implements this. > As soon as these targets are off-tree it'd better not to include this > patch to mainline. it does seem pretty harmless, so why not include it? Ciao, Duncan.