]> rtime.felk.cvut.cz Git - coffee/buildroot.git/commit
jquery-ui-themes: rename options to have proper prefix
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 13 May 2018 19:07:31 +0000 (21:07 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 21 May 2018 21:08:15 +0000 (23:08 +0200)
commit94c146282fd74af73eddffb607d8e7300145dad5
tree8a8592b7050afb52a06f57d2d004234e556fabc0
parentb2b874fe678653d348a1d00bd11aad50ca383c0a
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>
Config.in.legacy
package/jquery-ui-themes/Config.in