Make sure all debug info is included

martinpaljak · Aug 31, 2023 · 1857b2f · 1857b2f
1 parent 12a5d14
commit 1857b2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/task/src/main/java/pro/javacard/ant/JavaCard.java b/task/src/main/java/pro/javacard/ant/JavaCard.java
@@ -557,6 +557,7 @@ private void compile() {
             j.setDestdir(tmp.toFile());
             // See "Setting Java Compiler Options" in User Guide
             j.setDebug(true);
+            j.setDebugLevel("lines,vars,source");
 
             // set the best option supported by jckit
             String javaVersion = JavaCardSDK.getJavaVersion(jckit.getVersion());