diff --git a/tools/configure b/tools/configure index 51a47971fd..8a2e499a29 100755 --- a/tools/configure +++ b/tools/configure @@ -4718,6 +4718,7 @@ fi cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z_0-9]\*,,g \ -e s,--ram=[0-9]\*,,g \ -e s,--rbdir=[./a-zA-Z0-9]\*,,g \ + -e s,--voice=[-_./a-zA-Z0-9]\*,,g \ -e s,--type=[a-zA-Z]\*,,g` cmdline="$cmdline --target=\$(MODELNAME) --ram=\$(MEMORYSIZE) --rbdir=\$(RBDIR) --type=$btype$advopts"