diff options
| -rwxr-xr-x | scripts/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config index ed6653ef970..9e984bc96e1 100755 --- a/scripts/config +++ b/scripts/config @@ -128,7 +128,7 @@ while [ "$1" != "" ] ; do V="${V/#CONFIG_$ARG=/}" V="${V/#\"/}" V="${V/%\"/}" - V="${V/\\\"/\"}" + V="${V//\\\"/\"}" echo "${V}" fi fi |