From e7deac3aad394325f9e6fc6fda41d34ec94a59e0 Mon Sep 17 00:00:00 2001 From: Alexey Neyman Date: Fri, 19 May 2017 21:58:46 -0700 Subject: Switch comp.libs/tools and debug to new framework. Signed-off-by: Alexey Neyman --- config/companion_tools/make.in | 37 +------------------------------------ 1 file changed, 1 insertion(+), 36 deletions(-) (limited to 'config/companion_tools/make.in') diff --git a/config/companion_tools/make.in b/config/companion_tools/make.in index b6834a75..5c9cfb3a 100644 --- a/config/companion_tools/make.in +++ b/config/companion_tools/make.in @@ -1,45 +1,10 @@ # 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 +source "config/versions/make.in" 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 -- cgit v1.2.3