From 49299b13addf30d79347352e503f083b7f7a3723 Mon Sep 17 00:00:00 2001
From: Alejandro Revilla <apr@jpos.org>
Date: Wed, 10 Apr 2024 17:47:02 -0300
Subject: [PATCH] Add additional linter options

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 79d7232ce3..c74cc24976 100644
--- a/build.gradle
+++ b/build.gradle
@@ -42,7 +42,7 @@ subprojects {
     if (project.hasProperty("lint")) {
       // gradle -Plint ...
       tasks.withType(JavaCompile) {
-        options.compilerArgs << "-Xlint:preview" 
+        options.compilerArgs << "-Xlint:preview" << "-Xlint:unchecked" << "-Xlint:deprecation"
       } 
     }
     java {