Update of bug #23922 (project make):
Status: None => Fixed
Open/Closed: Open => Closed
Fixed Release: None => CVS
Triage Status: None => Small Effort
_______________________________________________________
Follow-up Comment #2:
That "syntax error" seen by Paul is the symptom of the same problem: Make
assumed without checking that the value of "SHELL" does not have characters
special to the shell in it.
I fixed that with the attached patch.
Note that a similar change was suggested in patch #7522, but I decided to use
a less radical approach, and also fixed another problem that could cause a
crash.
(file #23363)
_______________________________________________________
Additional Item Attachment:
File name: w32shellspecials.dif Size:1 KB
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?23922>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
