diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-01-12 16:30:22 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 18:33:23 +0100 |
| commit | f231ae59d9189649cb69262376b2f2dab4b543a2 (patch) | |
| tree | 2907531f08c1d78d1ce4275fcf7c18737d642520 /debian | |
| parent | d3ba3713b521ffe82e95d50d2948dba088b5a78b (diff) | |
Add distclean target to test-suite/Makefile
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch | 23 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 24 insertions, 0 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 new file mode 100644 index 00000000..80cd27ae --- /dev/null +++ b/debian/patches/0001-Add-distclean-back-to-test-suite-Makefile.patch @@ -0,0 +1,23 @@ +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 + ####################################################################### +-- diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 00000000..1d411110 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Add-distclean-back-to-test-suite-Makefile.patch |