summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--extra/Configs/Config.in10
1 files changed, 10 insertions, 0 deletions
diff --git a/extra/Configs/Config.in b/extra/Configs/Config.in
index 43bc9a68c..0b14b0021 100644
--- a/extra/Configs/Config.in
+++ b/extra/Configs/Config.in
@@ -239,6 +239,16 @@ config SYSTEM_DEVEL_PREFIX
defaults to $(DEVEL_PREFIX)/usr, but makers of .rpms and .debs will
want to set this to "/usr" instead.
+config DEVEL_TOOL_PREFIX
+ string "uClibc development environment system directory"
+ default "$(DEVEL_PREFIX)/usr"
+ help
+ DEVEL_TOOL_PREFIX is the directory prefix used when installing
+ bin/gcc, bin/ld, etc. This is only used by the 'make install'
+ target, and is not compiled into anything. This defaults to
+ $(DEVEL_PREFIX)/usr, but makers of .rpms and .debs may want to
+ set this to something else.
+
endmenu
menu "uClibc hacking options"