diff options
Diffstat (limited to 'tools/configure')
| -rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 73639cfb5c..23731530d1 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -3849,6 +3849,7 @@ export CPU=${t_cpu} | |||
| 3849 | export MANUFACTURER=${t_manufacturer} | 3849 | export MANUFACTURER=${t_manufacturer} |
| 3850 | export OBJDIR=${pwd} | 3850 | export OBJDIR=${pwd} |
| 3851 | export BUILDDIR=${pwd} | 3851 | export BUILDDIR=${pwd} |
| 3852 | export RBCODEC_BLD=${pwd}/lib/rbcodec | ||
| 3852 | export LANGUAGE=${language} | 3853 | export LANGUAGE=${language} |
| 3853 | export VOICELANGUAGE=${voicelanguage} | 3854 | export VOICELANGUAGE=${voicelanguage} |
| 3854 | export MEMORYSIZE=${memory} | 3855 | export MEMORYSIZE=${memory} |