On 05/17/2013 06:18 PM, Sebastian Pop wrote: > Hi, > > the attached patches first rename the target polly-test into check-polly and > then add check-polly to check-all target when polly is in tools/polly. > > Ok to commit? Looks good from my side. Tobi