diff --git a/scripts/configure b/scripts/configure index 3f0a62e8..ddf28479 100755 --- a/scripts/configure +++ b/scripts/configure @@ -5374,10 +5374,10 @@ if test "x${PYTHON3}" == "xno"; then usingPython3= if test "$CPP" = "$CC -E" ; then MCPP="$CPP -x c" - MSED="sed -e 's/\\/\\\\/'" + MSED="sed -e 's/\\\\/\\\\\\\\/'" else MCPP="$CPP" - MSED="sed -e 's/\\/\\\\/'" + MSED="sed -e 's/\\\\/\\\\\\\\/'" fi else diff --git a/scripts/configure.in b/scripts/configure.in index 590b1c31..2d0558b0 100644 --- a/scripts/configure.in +++ b/scripts/configure.in @@ -299,10 +299,10 @@ if test "x${PYTHON3}" == "xno"; then usingPython3= if test "$CPP" = "$CC -E" ; then MCPP="$CPP -x c" - MSED="sed -e 's/\\/\\\\/'" + MSED="sed -e 's/\\\\/\\\\\\\\/'" else MCPP="$CPP" - MSED="sed -e 's/\\/\\\\/'" + MSED="sed -e 's/\\\\/\\\\\\\\/'" fi else