diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch')
| -rw-r--r-- | dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch b/dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch new file mode 100644 index 000000000000..670f497e507b --- /dev/null +++ b/dev-util/findbugs/files/0004-Don-t-clean-before-generating-docs.patch @@ -0,0 +1,25 @@ +From c73984b12bb3c80a67d993a30c894ee05613d422 Mon Sep 17 00:00:00 2001 +From: James Le Cuirot <chewi@gentoo.org> +Date: Fri, 13 Mar 2015 13:59:22 +0000 +Subject: [PATCH 4/4] Don't clean before generating docs + +--- + findbugs/build.xml | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/findbugs/build.xml b/findbugs/build.xml +index 48c8f2b..d0cbc04 100644 +--- a/findbugs/build.xml ++++ b/findbugs/build.xml +@@ -652,7 +652,7 @@ + </target> + + +- <target name="checkdocs" depends="clean"> ++ <target name="checkdocs"> + <!-- FIXME: check whether docs are up to date --> + </target> + +-- +2.0.4 + |