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 51a47971fd..8a2e499a29 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -4718,6 +4718,7 @@ fi | |||
4718 | cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z_0-9]\*,,g \ | 4718 | cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z_0-9]\*,,g \ |
4719 | -e s,--ram=[0-9]\*,,g \ | 4719 | -e s,--ram=[0-9]\*,,g \ |
4720 | -e s,--rbdir=[./a-zA-Z0-9]\*,,g \ | 4720 | -e s,--rbdir=[./a-zA-Z0-9]\*,,g \ |
4721 | -e s,--voice=[-_./a-zA-Z0-9]\*,,g \ | ||
4721 | -e s,--type=[a-zA-Z]\*,,g` | 4722 | -e s,--type=[a-zA-Z]\*,,g` |
4722 | cmdline="$cmdline --target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts" | 4723 | cmdline="$cmdline --target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts" |
4723 | 4724 | ||