diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index c06611e105..3d1aad7667 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -3627,7 +3627,7 @@ if [ -n "$ARG_LCDWIDTH" ]; then | |||
3627 | fi | 3627 | fi |
3628 | 3628 | ||
3629 | # remove parts from the cmdline we're going to set unconditionally | 3629 | # remove parts from the cmdline we're going to set unconditionally |
3630 | cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z0-9]\*,,g \ | 3630 | cmdline=`echo $cmdline | sed -e s,--target=[a-zA-Z_0-9]\*,,g \ |
3631 | -e s,--ram=[0-9]\*,,g \ | 3631 | -e s,--ram=[0-9]\*,,g \ |
3632 | -e s,--rbdir=[./a-zA-Z0-9]\*,,g \ | 3632 | -e s,--rbdir=[./a-zA-Z0-9]\*,,g \ |
3633 | -e s,--type=[a-zA-Z]\*,,g` | 3633 | -e s,--type=[a-zA-Z]\*,,g` |