From e53f93482aee7616871bf6f294793fa841711ca3 Mon Sep 17 00:00:00 2001
From: Marc Philipp <mail@marcphilipp.de>
Date: Sun, 10 Sep 2023 12:47:33 +0200
Subject: [PATCH] Revert "Remove -Xlint:-options"

This reverts commit 0b1a0029b36f2a355b90a937780519c837b4fc9a.
---
 .../java/platform/tooling/support/tests/StandaloneTests.java     | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform-tooling-support-tests/src/test/java/platform/tooling/support/tests/StandaloneTests.java b/platform-tooling-support-tests/src/test/java/platform/tooling/support/tests/StandaloneTests.java
index 28254461d910..d4775c42f64c 100644
--- a/platform-tooling-support-tests/src/test/java/platform/tooling/support/tests/StandaloneTests.java
+++ b/platform-tooling-support-tests/src/test/java/platform/tooling/support/tests/StandaloneTests.java
@@ -90,6 +90,7 @@ void compile() throws Exception {
 		var result = Request.builder() //
 				.setTool(new Javac()) //
 				.setProject("standalone") //
+				.addArguments("-Xlint:-options") //
 				.addArguments("--release", "8") //
 				.addArguments("-proc:none") //
 				.addArguments("-d", workspace.resolve("bin")) //