diff --git a/debian/patches/series b/debian/patches/series index 00a4f5f7..4c4defd8 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -80,4 +80,3 @@ fix-include-next-bootstrap.diff bootstrap-with-openmp-version-export-missing.diff bootstrap-polly-fpic.diff #bootstrap-default-passthrough.diff -disable-cflags-check.diff