diff -r 75a766c20552 -r 88020b2c3246 config/companion_libs.in
--- a/config/companion_libs.in	Sun Aug 30 01:00:19 2009 +0200
+++ b/config/companion_libs.in	Tue Jan 12 19:24:03 2010 +0100
@@ -91,4 +91,35 @@
       
       Please note that for now, crosstool-NG can only build GMP and MPFR so.
 
+choice
+    bool
+    prompt "|  Install tools wrapper as:"
+    depends on WRAPPER_NEEDED
+    default TOOLS_WRAPPER_SHELL
+
+config TOOLS_WRAPPER_SCRIPT
+    bool
+    prompt "shell script"
+    help
+      If your host has a shell, then you should say 'Y' here, to use
+      a (very very simple) shell script as wrapper.
+      
+      See docs/overview.txt, section "Tools wrapper".
+
+config TOOLS_WRAPPER_EXEC
+    bool
+    prompt "executable"
+    help
+      If your host lacks a shell, then you should say 'Y' here, to use
+      an executable.
+      
+      See docs/overview.txt, section "Tools wrapper".
+
+endchoice
+
+config TOOLS_WRAPPER
+    string
+    default "script" if TOOLS_WRAPPER_SCRIPT
+    default "exec"   if TOOLS_WRAPPER_EXEC
+
 endmenu