diff --git a/.gitignore b/.gitignore index 9533848e238..6f32f60a650 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,4 @@ /plugin_tools /.local-execution-hints.log /.local-*-execution-hints.log +/eclipse-build/ diff --git a/pom.xml b/pom.xml index df5c9b6407b..69b6185dde5 100644 --- a/pom.xml +++ b/pom.xml @@ -33,6 +33,7 @@ + true