Attention is currently required from: dexter.

Patch set 1:Code-Review +2

View Change

1 comment:

• File contrib/jenkins.sh:

  • Patch Set #1, Line 7: ./gradlew buildJavaCard

    ./gradlew build is not enough? For me it was working like this.

    setting JAVA_HOME is not needed here as openjdk is installed as debian package.

To view, visit change 39582. To unsubscribe, or for help writing mail filters, visit settings.