summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/patches/0010-skip-dot-pc.patch13
-rw-r--r--debian/patches/series1
2 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/0010-skip-dot-pc.patch b/debian/patches/0010-skip-dot-pc.patch
new file mode 100644
index 00000000..ce85adf8
--- /dev/null
+++ b/debian/patches/0010-skip-dot-pc.patch
@@ -0,0 +1,13 @@
+From: Benjamin Barenblat <bbaren@debian.org>
+Subject: Ignore .pc directory when building
+Forwarded: no
+--- a/Makefile
++++ b/Makefile
+@@ -53,6 +53,7 @@
+ -name '.git' -o \
+ -name '.bzr' -o \
+ -name 'debian' -o \
++ -name '.pc' -o \
+ -name "$${GIT_DIR}" -o \
+ -name '_build' -o \
+ -name '_build_ci' -o \
diff --git a/debian/patches/series b/debian/patches/series
index 16ae3a4d..94ba4f69 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,3 +7,4 @@
0007-spelling.patch
0008-avoid-usr-bin-env.patch
0009-python-scripts-libraries.patch
+0010-skip-dot-pc.patch