diff --git a/scripts/config b/scripts/config
index ed6653ef9702aa5320756537bb942e8a35123cb4..9e984bc96e188cb2e3d086c7b811e3edb2d6df64 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