diff options
| author | Daiki Ueno <ueno@gnu.org> | 2015-07-14 09:47:44 +0900 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2015-07-14 09:51:12 +0900 |
| commit | 743da316ad8c9fc00e19d395260cfb802d2e6042 (patch) | |
| tree | 741798dcc9fec51f2e77818dd90473005ab1ebe5 | |
| parent | 2065331ebaca9cccffd21260bb54bcf17651a9a8 (diff) | |
| download | external_gettext-743da316ad8c9fc00e19d395260cfb802d2e6042.zip external_gettext-743da316ad8c9fc00e19d395260cfb802d2e6042.tar.gz external_gettext-743da316ad8c9fc00e19d395260cfb802d2e6042.tar.bz2 | |
gnulib-local: Fix Java compilation on mingw
* lib/clean-temp.c.diff: New file, from m4.
Suggested by Eric Blake in:
<https://lists.gnu.org/archive/html/bug-gnulib/2013-09/msg00044.html>.
| -rw-r--r-- | gnulib-local/ChangeLog | 7 | ||||
| -rw-r--r-- | gnulib-local/lib/clean-temp.c.diff | 14 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gnulib-local/ChangeLog b/gnulib-local/ChangeLog index 10e67c4..d02fa90 100644 --- a/gnulib-local/ChangeLog +++ b/gnulib-local/ChangeLog @@ -1,3 +1,10 @@ +2015-07-14 Daiki Ueno <ueno@gnu.org> + + gnulib-local: Fix Java compilation on mingw + * lib/clean-temp.c.diff: New file, from m4. + Suggested by Eric Blake in: + <https://lists.gnu.org/archive/html/bug-gnulib/2013-09/msg00044.html>. + 2015-07-10 Daiki Ueno <ueno@gnu.org> * gettext 0.19.5 released. diff --git a/gnulib-local/lib/clean-temp.c.diff b/gnulib-local/lib/clean-temp.c.diff new file mode 100644 index 0000000..2eafde6 --- /dev/null +++ b/gnulib-local/lib/clean-temp.c.diff @@ -0,0 +1,14 @@ +diff --git i/lib/clean-temp.c w/lib/clean-temp.c +index 40ec02f..1053312 100644 +--- i/lib/clean-temp.c ++++ w/lib/clean-temp.c +@@ -582,6 +582,9 @@ static bool + supports_delete_on_close () + { + static int known; /* 1 = yes, -1 = no, 0 = unknown */ ++ /* M4 wants to close and later reopen a temporary file, so ++ delete-on-close must not be used. */ ++ known = -1; + if (!known) + { + OSVERSIONINFO v; |