Message ID | 20180513190737.26079-1-thomas.petazzoni@bootlin.com |
---|---|
Headers | show |
Series | Fix the Config.in prefix of a number of options | expand |
>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni@bootlin.com> writes: > Hello, > This series was started from Petr Vorel's patch fixing libmediaart > options, which had a wrong prefix. I started writing an additional > check in check-package for this mistake, and thanks to it, I > discovered a number of other issues, fixed by this patch series. > Best regards, > Thomas > Petr Vorel (1): > libmediaart: rename options to have proper prefix > Thomas Petazzoni (7): > bluez5_utils: rename options to have the proper suffix > jquery-ui-themes: rename options to have proper prefix > libftdi: rename option to have proper prefix > ipsec-tools: rename options to have proper prefix > janus-gateway: rename options to have proper prefix > ti-sgx-km: rename options to have proper prefix Committed all of these, thanks. The improvements to Config.in.legacy can be handled as a followup series. > utils/check-package: verify the prefix of package Config.in options But not this one as there was quite some feedback on this.