diff -r ccef9a13c09b -r 9321d9d7af9b config/companion_tools.in
--- a/config/companion_tools.in	Thu Feb 20 18:22:50 2014 +0000
+++ b/config/companion_tools.in	Thu Feb 20 18:23:08 2014 +0000
@@ -2,7 +2,15 @@
 
 menu "Companion tools"
 
+config COMP_TOOLS_make_3_81_NEEDED
+    bool
+    depends on ! CONFIGURE_has_make381
+    default y
+    select COMP_TOOLS
+    select COMP_TOOLS_make
+
 comment "READ HELP before you say 'Y' below !!!"
+
 config COMP_TOOLS
     bool
     prompt "Build some companion tools"