diff options
Diffstat (limited to 'build.xml_clean_lib_dir.patch')
| -rw-r--r-- | build.xml_clean_lib_dir.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build.xml_clean_lib_dir.patch b/build.xml_clean_lib_dir.patch new file mode 100644 index 000000000000..cbbd8915f073 --- /dev/null +++ b/build.xml_clean_lib_dir.patch @@ -0,0 +1,10 @@ +--- build.xml.orig 2015-04-02 14:52:27.073922285 -0500 ++++ build.xml 2015-04-02 14:53:01.074191921 -0500 +@@ -144,6 +144,7 @@ + <delete dir="./build"/> + <delete dir="./javadoc"/> + <delete dir="./tmp"/> ++ <delete dir="./lib"/> + </target> + + </project> |