Hi, I just realised that the PPC64 bulddbot is failing because of a rather stupid issue: http://lab.llvm.org:8011/builders/llvm-ppc64-linux1 Just removing the additional assembly file would make it green again. ;) cheers, --renato