[GR-57183] Do not fail the gate for unused parameters, it is not worth it

eregon · eregon · commit 72c38809e2a4 · 2024-08-23T13:56:03.000Z
PullRequest: graalpython/3450
diff --git a/mx.graalpython/eclipse-settings/org.eclipse.jdt.core.prefs b/mx.graalpython/eclipse-settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1 @@
+org.eclipse.jdt.core.compiler.problem.unusedParameter=ignore

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+org.eclipse.jdt.core.compiler.problem.unusedParameter=ignore`