diff options
| author | ibbem <ibbem@ibbem.net> | 2024-02-29 18:03:06 +0100 |
|---|---|---|
| committer | ibbem <ibbem@ibbem.net> | 2024-03-18 23:11:20 +0100 |
| commit | b9343ad4c63f7fb9b72690c018c1ff4a3650d2a4 (patch) | |
| tree | 6d1a81a20a9dc8b11c32d594d331e8b98cfdf509 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 16426544536ddbe939e28b08d0b638ae78667dc6 (diff) | |
agda: Don't be too picky about `everythingFile`
The `-path` test of `find` does string comparison, not path comparison.
Hence, the format of `everythingFile` needed to be very specific. Now,
it can be denormalized (e.g. it can contain `/./`) and an error is
emitted if the everything file or its interface file can't be removed.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions