diff options
author | 2017-07-13 07:38:03 (GMT) | |
---|---|---|
committer | 2017-07-13 07:38:03 (GMT) | |
commit | 45c5bb0f484cba724be2c6105801dcce9a1a82d9 (patch) | |
tree | 8fd1c8eaa2ef203009d72b6ca6348611dcc5ee1c /config/companion_tools/make.in | |
parent | 8f8e131d566af1f577d8fb6e62e6f121b7955472 (diff) | |
parent | b32fcf7c1eea890a2bd3f88487f818ba241aabb1 (diff) |
Merge pull request #767 from stilor/packages
Packages
Diffstat (limited to 'config/companion_tools/make.in')
-rw-r--r-- | config/companion_tools/make.in | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/config/companion_tools/make.in b/config/companion_tools/make.in deleted file mode 100644 index b6834a7..0000000 --- a/config/companion_tools/make.in +++ /dev/null @@ -1,45 +0,0 @@ -# GNU make - -## default y if !CONFIGURE_has_make_3_81_or_newer -## help GNU make - -choice - bool - prompt "make version" -# Don't remove next line -# CT_INSERT_VERSION_BELOW - -config MAKE_V_4_2_1 - bool - prompt "4.2.1" - -config MAKE_V_4_1 - bool - prompt "4.1 (OBSOLETE)" - depends on OBSOLETE - -config MAKE_V_4_0 - bool - prompt "4.0 (OBSOLETE)" - depends on OBSOLETE - -config MAKE_V_3_81 - bool - prompt "3.81 (OBSOLETE)" - depends on OBSOLETE - -endchoice - -config MAKE_GMAKE_SYMLINK - bool - prompt "Add gmake symlink to companion gnu/make" - depends on COMP_TOOLS_make - -config MAKE_VERSION - string -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "4.2.1" if MAKE_V_4_2_1 - default "4.1" if MAKE_V_4_1 - default "4.0" if MAKE_V_4_0 - default "3.81" if MAKE_V_3_81 |