summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure1
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
4718cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z_0-9]\*,,g \ 4718cmdline=`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`
4722cmdline="$cmdline --target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts" 4723cmdline="$cmdline --target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts"
4723 4724