From 4395aa0891bcbd940c6c8ecff23ff4ffa41aee52 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Tue, 9 Oct 2018 13:50:05 +0200 Subject: [PATCH] non existing patch polly-fpic.diff --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) diff --git a/debian/patches/series b/debian/patches/series index 7f59b58c..00a4f5f7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -78,7 +78,6 @@ scan-build-clang-X.diff 0001-analyzer-scan-build-if-status-bugs-is-passed-don-t-f.patch fix-include-next-bootstrap.diff bootstrap-with-openmp-version-export-missing.diff -polly-fpic.diff bootstrap-polly-fpic.diff #bootstrap-default-passthrough.diff disable-cflags-check.diff