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 @@ - - - - - - - - - - - - - - - - - - - - -