diff options
author | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2018-05-13 21:07:31 +0200 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2018-05-21 23:08:15 +0200 |
commit | 94c146282fd74af73eddffb607d8e7300145dad5 (patch) | |
tree | 8a8592b7050afb52a06f57d2d004234e556fabc0 /package/bash-completion | |
parent | b2b874fe678653d348a1d00bd11aad50ca383c0a (diff) | |
download | buildroot-94c146282fd74af73eddffb607d8e7300145dad5.tar.gz buildroot-94c146282fd74af73eddffb607d8e7300145dad5.zip |
jquery-ui-themes: rename options to have proper prefix
The choice options to select the specific jquery-ui theme to install
had a prefix of BR2_PACKAGE_JQUERY_UI_THEME_ instead of
BR2_PACKAGE_JQUERY_UI_THEMES_. This commit fixes that, and adds
Config.in.legacy handling. It's worth mentioning that since those
options are part of a choice, the legacy handling cannot select the
new name of the option: we can simply inform the user about the
renaming.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Acked-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'package/bash-completion')
0 files changed, 0 insertions, 0 deletions