Joel Brobecker (brobecker@adacore.com): > I would think that the "optimize" flag was only meant to force a certain > optimization level. Perhaps you should use additional_flags instead. Ooops, right. Thanks for catching that.