Explorar el Código

improve configure

ruki hace 1 año
padre
commit
a27c27dfb4
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      configure

+ 1 - 1
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