From 204c585abffab261a665ab6a351f05fe6f17161c Mon Sep 17 00:00:00 2001 From: jrm Date: Thu, 13 Aug 2015 21:44:16 -0700 Subject: [PATCH] [infer][java] revive the small example of Ant project Summary: Fix the build.xml so that we can have a working example of an Ant project that we can analyze with Infer --- .gitignore | 1 - infer/tests/build.xml | 20 ++++++++++++++++++ .../tests/codetoanalyze/java/infer/build.xml | 21 ------------------- 3 files changed, 20 insertions(+), 22 deletions(-) create mode 100644 infer/tests/build.xml delete mode 100644 infer/tests/codetoanalyze/java/infer/build.xml diff --git a/.gitignore b/.gitignore index 2613dc427..3b631b02f 100644 --- a/.gitignore +++ b/.gitignore @@ -39,7 +39,6 @@ org.eclipse.core.resources.prefs .DS_Store # Directories and files generated by Infer -infer-out/ *.o.astlog *.o.sh infer-sources.tar.gz diff --git a/infer/tests/build.xml b/infer/tests/build.xml new file mode 100644 index 000000000..4ff63505d --- /dev/null +++ b/infer/tests/build.xml @@ -0,0 +1,20 @@ + + + + + + + + + + + + + + + + + + + + diff --git a/infer/tests/codetoanalyze/java/infer/build.xml b/infer/tests/codetoanalyze/java/infer/build.xml deleted file mode 100644 index 5b85f32dd..000000000 --- a/infer/tests/codetoanalyze/java/infer/build.xml +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - - - - - -