[bug #51527] Make race issue when MikTeX htlatex is used

2017-07-21 Thread Vincent Belaïche
Follow-up Comment #3, bug #51527 (project make): Thank you for answering. Good to see that the problem I met is probably corrected now, as there really was some memory corruption in make at some point of time. I think that the definite answer for me will be to install MSYS2.

[bug #51527] Make race issue when MikTeX htlatex is used

2017-07-21 Thread Martin Dorey
Follow-up Comment #2, bug #51527 (project make): Numerous memory corruption bugs have been fixed in the 11 years since make 3.81, some with just the sort of input sensitivity you report here. One example: https://savannah.gnu.org/bugs/?40159 I only have anecdotal evidence but even Debian, who

[bug #51527] Make race issue when MikTeX htlatex is used

2017-07-21 Thread Vincent Belaïche
Follow-up Comment #1, bug #51527 (project make): == Fact 5 == Look at the following: # this fails make realclean && make fmtord.log # /foo/bar is dummy, this path does not exists # this will be successful save_path=$PATH export PATH=/foo/bar:$PATH # this will be successful make realclean &&

[bug #51527] Make race issue when MikTeX htlatex is used

2017-07-21 Thread Vincent Belaïche
URL: Summary: Make race issue when MikTeX htlatex is used Project: make Submitted by: vincentb1 Submitted on: Fri 21 Jul 2017 03:00:13 PM UTC Severity: 3 - Normal Item