1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 532e7a273..e896175d3 100755
--- a/configure
+++ b/configure
@@ -3727,7 +3727,7 @@ _replace_configvar_define() {
 _replace_configvar_value() {
     local name="${1}"
     local value="${2}"
-    _ret="s/\${${name}}/${value}/g"
+    _ret="s@\${${name}}@${value}@g"
 }
 
 # generate configfile for the given target