diff --git a/infer/tests/javac.make b/infer/tests/javac.make index c530d83b0..0f136fd2c 100644 --- a/infer/tests/javac.make +++ b/infer/tests/javac.make @@ -21,6 +21,6 @@ $(OBJECTS): $(SOURCES) infer-out/report.json: $(JAVA_DEPS) $(SOURCES) $(MAKEFILE_LIST) $(QUIET)$(call silent_on_success,Testing infer/java in $(TEST_REL_DIR),\ - $(INFER_BIN) --project-root $(PROJECT_ROOT) \ + $(INFER_BIN) --project-root $(PROJECT_ROOT) --dump-duplicate-symbols \ $(INFER_OPTIONS) -- \ $(JAVAC) -cp $(CLASSPATH) $(SOURCES))