diff options
Diffstat (limited to 'config/comp_tools/make.in')
| -rw-r--r-- | config/comp_tools/make.in | 7 |
1 files changed, 4 insertions, 3 deletions
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" |