diff options
| author |   Alexey Neyman <stilor@att.net> | 2018-06-06 20:46:17 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-06-06 20:46:17 (GMT) |
| commit | 21489af99a997118997e9cdb2356e06832d2c9f0 (patch) | |
| tree | d0a94f10efbbf27eb24bf9fdf17f96d021668e26 /config | |
| parent | 83582f4fd4355f572edab7a6ab7ff5585736ead9 (diff) | |
| parent | d7ee16cb2872812cf61ad51469c748df17553c37 (diff) | |
Merge pull request #979 from stilor/master
Make patch order overridable by individual packages
Diffstat (limited to 'config')
| -rw-r--r-- | config/global/extract.in | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/config/global/extract.in b/config/global/extract.in index 58f7b95..ba7f5f4 100644 --- a/config/global/extract.in +++ b/config/global/extract.in @@ -40,19 +40,16 @@ config ONLY_EXTRACT Useful to look at the code before doing the build itself. choice - prompt "Patches origin" - bool + bool "Patches origin" default PATCH_BUNDLED config PATCH_BUNDLED - bool - prompt "Bundled only" + bool "Bundled only" help Only apply patches bundled with crosstool-NG. config PATCH_LOCAL - bool - prompt "Local only (EXPERIMENTAL)" + bool "Local only" select PATCH_USE_LOCAL depends on EXPERIMENTAL help @@ -61,16 +58,14 @@ config PATCH_LOCAL copy them into your local directory if needed. config PATCH_BUNDLED_LOCAL - bool - prompt "Bundled, then local" + bool "Bundled, then local" select PATCH_USE_LOCAL help Apply the patches bundled with crosstool-NG, then apply your local patches. config PATCH_LOCAL_BUNDLED - bool - prompt "Local, then bundled" + bool "Local, then bundled" select PATCH_USE_LOCAL depends on EXPERIMENTAL help @@ -79,8 +74,7 @@ config PATCH_LOCAL_BUNDLED to apply on top of your local patches. config PATCH_NONE - bool - prompt "None" + bool "None" depends on EXPERIMENTAL help Don't use any patch at all. |