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