diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2020-09-19 15:05:02 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2020-09-19 15:05:02 +0200 |
| commit | 67ff41201fb339f341a55da49ae7adbaa89453b6 (patch) | |
| tree | 15231698c05396ee4bf735f94500f14b85da4d5f /pkgs/applications/science/logic | |
| parent | d10716e1dce8eed637da9fbd446e746b8b0dbf97 (diff) | |
leo3: fix executable
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/leo3/binary.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/leo3/binary.nix b/pkgs/applications/science/logic/leo3/binary.nix index dcea9c27acb4..29a9adf94c4b 100644 --- a/pkgs/applications/science/logic/leo3/binary.nix +++ b/pkgs/applications/science/logic/leo3/binary.nix @@ -14,7 +14,7 @@ stdenv.mkDerivation rec { mkdir -p "$out"/{bin,lib/java/leo3} cp "${jar}" "$out/lib/java/leo3/leo3.jar" echo "#!${runtimeShell}" > "$out/bin/leo3" - echo "'${openjdk}/bin/java' -jar '$out/lib/java/leo3/leo3.jar' \"\$@\"" > "$out/bin/leo3" + echo "'${openjdk}/bin/java' -jar '$out/lib/java/leo3/leo3.jar' \"\$@\"" >> "$out/bin/leo3" chmod a+x "$out/bin/leo3" ''; |