diff options
| author | Alexey Neyman <stilor@att.net> | 2017-04-23 20:08:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-23 20:08:26 -0700 |
| commit | 88fdbac4252744931ebcf80ade547ade525b71f4 (patch) | |
| tree | 6c77f523d5c34bbf7ae1df1839f2f4275e505850 /config/global/build-behave.in | |
| parent | 368a0169a27313cca60cf7d7358b6f3ef12122e4 (diff) | |
| parent | f98e04388c805a1b97b7a49e0d2da5c9acbcf887 (diff) | |
| download | crosstool-ng-88fdbac4252744931ebcf80ade547ade525b71f4.tar.gz crosstool-ng-88fdbac4252744931ebcf80ade547ade525b71f4.tar.bz2 crosstool-ng-88fdbac4252744931ebcf80ade547ade525b71f4.zip | |
Merge pull request #697 from stilor/makefile-enhancements-orig
Makefile enhancements
Diffstat (limited to 'config/global/build-behave.in')
| -rw-r--r-- | config/global/build-behave.in | 19 |
1 files changed, 6 insertions, 13 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in index 9ad54384..d3298eaa 100644 --- a/config/global/build-behave.in +++ b/config/global/build-behave.in @@ -2,12 +2,9 @@ comment "Build behavior" -comment "Build options hiden" - depends on BACKEND - config PARALLEL_JOBS int - prompt "Number of parallel jobs" if ! BACKEND + prompt "Number of parallel jobs" default 0 help Number of jobs make will be allowed to run concurently. @@ -20,7 +17,7 @@ config PARALLEL_JOBS config LOAD string - prompt "Maximum allowed load" if ! BACKEND + prompt "Maximum allowed load" default "" help Specifies that no new jobs should be started if there are others jobs @@ -33,7 +30,7 @@ config LOAD config USE_PIPES bool - prompt "Use -pipe" if ! BACKEND + prompt "Use -pipe" default y help Use gcc's option -pipe to use pipes rather than temp files when building @@ -83,7 +80,6 @@ choice bool prompt "Shell to use as CONFIG_SHELL" default CONFIG_SHELL_BASH - depends on ! BACKEND config CONFIG_SHELL_SH bool @@ -141,13 +137,10 @@ config CONFIG_SHELL_CUSTOM endchoice -# Do not put this into the choice above, because the choice -# is not available in BACKEND-mode, while we do want this to -# be set even in BACKEND-mode. config CONFIG_SHELL_CUSTOM_PATH string - prompt "Path to custom shell" if ! BACKEND - depends on CONFIG_SHELL_CUSTOM || BACKEND + prompt "Path to custom shell" + depends on CONFIG_SHELL_CUSTOM default "/bin/sh" # Ditto. @@ -157,4 +150,4 @@ config CONFIG_SHELL default "/bin/sh" if CONFIG_SHELL_SH default "/bin/ash" if CONFIG_SHELL_ASH default "${bash}" if CONFIG_SHELL_BASH - default CONFIG_SHELL_CUSTOM_PATH if CONFIG_SHELL_CUSTOM || BACKEND + default CONFIG_SHELL_CUSTOM_PATH if CONFIG_SHELL_CUSTOM |