12 lines
417 B
Diff
12 lines
417 B
Diff
--- ./configure~ 2020-12-23 13:04:58.000000000 +0100
|
|
+++ ./configure 2022-05-30 20:26:09.267738418 +0200
|
|
@@ -20775,7 +20775,7 @@
|
|
sed -e 's/^x//' \
|
|
-e 's/-g\(db\)\{0,1\}[0-9 ]//g' \
|
|
-e 's/-g\(db\)\{0,1\}$//' \
|
|
- -e 's/[+-]O[0-9s]*//g' \
|
|
+ -e 's/[+-]O[0-9sz]*//g' \
|
|
-e 's/-O//g' \
|
|
-e 's/-funwind-tables//g' \
|
|
-e 's/-fasynchronous-unwind-tables//g' \
|