diff options
| author | Leo Famulari <leo@famulari.name> | 2019-02-04 23:40:45 +0100 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2019-02-04 23:45:25 +0100 |
| commit | bfa3e64d7f97c759e5b4f5977827100ecd0df03c (patch) | |
| tree | 2469b3fa44b804689dd72cdef8a6e7cfd89827eb /gnu/packages/patches | |
| parent | 308d72bfe4fced4cf5b2464e70e458a74b3598cc (diff) | |
gnu: Removed unused patch 'readline-7.0-mingw.patch'.
This patch was introduced in commit ae12d586275cdd96db23fb01bf840b2055b5b979,
but it was never used.
See <https://bugs.gnu.org/26581> for more information.
* gnu/packages/patches/readline-7.0-mingw.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/packages/patches')
| -rw-r--r-- | gnu/packages/patches/readline-7.0-mingw.patch | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/gnu/packages/patches/readline-7.0-mingw.patch b/gnu/packages/patches/readline-7.0-mingw.patch deleted file mode 100644 index 1dc491d556..0000000000 --- a/gnu/packages/patches/readline-7.0-mingw.patch +++ /dev/null @@ -1,28 +0,0 @@ -Configure checks for chown; add missing shields in code. - -Upstream status: not yet presented upstream. - ---- readline-7.0/histfile.c.orig 2016-12-06 20:04:10.058901731 +0100 -+++ readline-7.0/histfile.c 2016-12-06 20:05:09.220083801 +0100 -@@ -610,8 +610,10 @@ - user is running this, it's a no-op. If the shell is running after sudo - with a shared history file, we don't want to leave the history file - owned by root. */ -+#if HAVE_CHOWN - if (rv == 0 && exists) - r = chown (filename, finfo.st_uid, finfo.st_gid); -+#endif - - xfree (filename); - FREE (tempname); -@@ -757,8 +759,10 @@ - user is running this, it's a no-op. If the shell is running after sudo - with a shared history file, we don't want to leave the history file - owned by root. */ -+#if HAVE_CHOWN - if (rv == 0 && exists) - mode = chown (histname, finfo.st_uid, finfo.st_gid); -+#endif - - FREE (histname); - FREE (tempname); |