diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-02-27 20:43:56 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-02-28 23:05:05 +0100 |
| commit | 8c7d32e07c39df8a0d95c142eb46ecf0f8b65e57 (patch) | |
| tree | 7593ef4967cf2cc14d0a3cce65ff7535b362db59 /gnu | |
| parent | 3e87923a67bb1352651ee0877633934fa0457f72 (diff) | |
gnu: java-jnacl: Do not prefix jar with "java-".
* gnu/packages/java.scm (java-jnacl)[arguments]: Rename jar to "jnacl.jar".
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/java.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index c527e6898b..6350b57a80 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -7526,7 +7526,7 @@ to use.") "1d6g6xhn83byv5943n7935wwjsk0ibk0qdvqgr699qqgqqmwisbb")))) (build-system ant-build-system) (arguments - `(#:jar-name "java-jnacl.jar" + `(#:jar-name "jnacl.jar" #:source-dir "src/main/java" #:jdk ,icedtea-8 #:phases |