diff options
author | Alexey Neyman <stilor@att.net> | 2019-03-17 18:37:43 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-17 18:37:43 (GMT) |
commit | 89ba62fb1daad737cdb33c3b1ef69092beeaab0b (patch) | |
tree | 34ea6400ccf438cd9de5d42afe636fde0a011f50 /config/comp_tools | |
parent | c4126d9397353a74ca5aff602dd2c0c527e1dd07 (diff) | |
parent | e4475c33df8702ec780f24ac482d5d9c2fc72d6d (diff) |
Merge pull request #1163 from stilor/docker-fixescrosstool-ng-1.24.0-rc3
Fix build on CentOS6/7
Diffstat (limited to 'config/comp_tools')
-rw-r--r-- | config/comp_tools/bison.in | 1 | ||||
-rw-r--r-- | config/comp_tools/make.in | 7 |
2 files changed, 5 insertions, 3 deletions
diff --git a/config/comp_tools/bison.in b/config/comp_tools/bison.in new file mode 100644 index 0000000..b0dc9e1 --- /dev/null +++ b/config/comp_tools/bison.in @@ -0,0 +1 @@ +# GNU bison diff --git a/config/comp_tools/make.in b/config/comp_tools/make.in index 8d0ac29..ca7996b 100644 --- a/config/comp_tools/make.in +++ b/config/comp_tools/make.in @@ -3,6 +3,7 @@ ## default y if !CONFIGURE_has_make_3_81_or_newer config MAKE_GMAKE_SYMLINK - bool - prompt "Add gmake symlink to companion gnu/make" - depends on COMP_TOOLS_MAKE + bool "Create 'gmake' symlink" + +config MAKE_GNUMAKE_SYMLINK + bool "Create 'gnumake' symlink" |