diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-02-02 14:04:46 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-02-14 15:17:58 +0100 |
| commit | 75f5b1f5b287f8f34cc5442891406438d6cd6ac7 (patch) | |
| tree | 3ee2d13ade4c57a23913f972c858ac1ab9377189 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 69a4d3855b5ad6c0b7bf76d05ca9ea4c1355c2cc (diff) | |
isabelle: Rebuild isabelle_setup.jar
This jar contained a call to /usr/bin/env bash which was causing an
error during the build of the HOL session (which could be ignored) and
caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515
(which could not be ignored). This commit patches the java sources to
call `bash` directly and rebuild the jar.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions