aboutsummaryrefslogtreecommitdiff
path: root/config/comp_tools
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2019-03-17 11:37:43 -0700
committerGitHub <noreply@github.com>2019-03-17 11:37:43 -0700
commit89ba62fb1daad737cdb33c3b1ef69092beeaab0b (patch)
tree34ea6400ccf438cd9de5d42afe636fde0a011f50 /config/comp_tools
parentc4126d9397353a74ca5aff602dd2c0c527e1dd07 (diff)
parente4475c33df8702ec780f24ac482d5d9c2fc72d6d (diff)
downloadcrosstool-ng-89ba62fb1daad737cdb33c3b1ef69092beeaab0b.tar.gz
crosstool-ng-89ba62fb1daad737cdb33c3b1ef69092beeaab0b.tar.bz2
crosstool-ng-89ba62fb1daad737cdb33c3b1ef69092beeaab0b.zip
Merge pull request #1163 from stilor/docker-fixes
Fix build on CentOS6/7
Diffstat (limited to 'config/comp_tools')
-rw-r--r--config/comp_tools/bison.in1
-rw-r--r--config/comp_tools/make.in7
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 00000000..b0dc9e17
--- /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 8d0ac293..ca7996bf 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"