summaryrefslogtreecommitdiff
path: root/config/companion_tools/make.in
diff options
context:
space:
mode:
authorAlexey Neyman <stilor@att.net>2017-07-13 07:38:03 (GMT)
committerGitHub <noreply@github.com>2017-07-13 07:38:03 (GMT)
commit45c5bb0f484cba724be2c6105801dcce9a1a82d9 (patch)
tree8fd1c8eaa2ef203009d72b6ca6348611dcc5ee1c /config/companion_tools/make.in
parent8f8e131d566af1f577d8fb6e62e6f121b7955472 (diff)
parentb32fcf7c1eea890a2bd3f88487f818ba241aabb1 (diff)
Merge pull request #767 from stilor/packages
Packages
Diffstat (limited to 'config/companion_tools/make.in')
-rw-r--r--config/companion_tools/make.in45
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