diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-01-27 16:32:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-01-27 18:16:55 +0100 |
| commit | 7375f6ca0e8f6fbcca6613239aad0fe985ee5cef (patch) | |
| tree | f65a64046d2894d717387a0e5468071d3755158c /gnu | |
| parent | bd56093d84552414d9269a07209364c71a58b5f1 (diff) | |
gnu: jed: Delete Windows binaries from the source tarball.
* gnu/packages/text-editors.scm (jed)[source]: In 'snippet', delete "bin/w32".
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/text-editors.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/text-editors.scm b/gnu/packages/text-editors.scm index 938c93c5e3..f4b651890a 100644 --- a/gnu/packages/text-editors.scm +++ b/gnu/packages/text-editors.scm @@ -1406,6 +1406,9 @@ quality of font rendering, and reduce CPU usage.") "0qspdc6wss43wh1a8fddvf62xyhld5p7hl75grv4d95h5z73k8wp")) (modules '((guix build utils))) (snippet #~(begin + ;; Delete Windows binaries. + (delete-file-recursively "bin/w32") + (substitute* "src/Makefile.in" (("/bin/cp") "cp")) |