#355 wrong behaviour in make.

OTHER
closed
Earnie Boyd
make (27)
out-of-date
Unknown
2013-01-27
2003-05-19
Henrik Stokseth
No

mingw make doesn't conform to the gnu make manual
section 6.9.

according to the manual, make on dos or windows should
use $SHELL for shell if set or otherwise $COMSPEC.

for other platforms the default behaviour is to ignore
$SHELL.

mingw make's behaviour is annoying when you have a
leftover sh.exe somewhere in your path. this is seldom
a problem on unix.

Sincerely Henrik Stokseth.

Discussion

  • Earnie Boyd
    Earnie Boyd
    2012-10-19

    • milestone: 102880 --> Aged_issue
    • status: open --> closed-out-of-date
     
  • Earnie Boyd
    Earnie Boyd
    2012-10-19

    If this is still an issue then please take it to the make-w32@gnu.org list.

     
  • Earnie Boyd
    Earnie Boyd
    2013-01-27

    • labels: MinGW --> make
    • status: closed-out-of-date --> closed
    • resolution: --> out-of-date
    • category: --> Unknown
    • milestone: --> OTHER