diff options
| author | Eric Andersen <andersen@codepoet.org> | 2002-11-02 01:47:55 +0000 |
|---|---|---|
| committer | Eric Andersen <andersen@codepoet.org> | 2002-11-02 01:47:55 +0000 |
| commit | dff97f8d424755c568312ca3ddd8cd808280e7d8 (patch) | |
| tree | affbe335258d97e906f9cd21b1444ae7fc0ebf63 /extra/Configs | |
| parent | f9d08b172a7a06eeebc018c90e13f5221d9bde16 (diff) | |
It looks like I lost DEVEL_TOOL_PREFIX. Put it back.
-Erik
Diffstat (limited to 'extra/Configs')
| -rw-r--r-- | extra/Configs/Config.in | 10 |
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" |