summaryrefslogtreecommitdiff
path: root/debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch')
-rw-r--r--debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch23
1 files changed, 0 insertions, 23 deletions
diff --git a/debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch b/debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch
deleted file mode 100644
index 80cd27ae..00000000
--- a/debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch
+++ /dev/null
@@ -1,23 +0,0 @@
-From: Stephane Glondu <steph@glondu.net>
-Date: Thu, 12 Jan 2012 16:30:10 +0100
-Subject: Add distclean back to test-suite/Makefile
-
----
- test-suite/Makefile | 3 +++
- 1 files changed, 3 insertions(+), 0 deletions(-)
-
-diff --git a/test-suite/Makefile b/test-suite/Makefile
-index cd5886f..f3013c0 100644
---- a/test-suite/Makefile
-+++ b/test-suite/Makefile
-@@ -97,6 +97,9 @@ clean:
- -name '*.stamp' -o -name '*.vo' -o -name '*.log' \
- \) -print0 | xargs -0 rm -f
-
-+distclean: clean
-+ $(HIDE)find . -name '*.log' -print0 | xargs -0 rm -f
-+
- #######################################################################
- # Per-subsystem targets
- #######################################################################
---