[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Windows shell discovery (was: Re: Incorrect path and shell script er
From: |
Eli Zaretskii |
Subject: |
Re: Windows shell discovery (was: Re: Incorrect path and shell script error) |
Date: |
Thu, 07 May 2020 22:26:44 +0300 |
> From: Paul Smith <address@hidden>
> Date: Thu, 07 May 2020 15:20:39 -0400
>
> Maybe some setting of the make SHELL variable in your makefile can
> convence make to use command.com, but I'm not sure.
>
> Maybe someone with more experience on Windows than I can comment.
Yes, "SHELL = cmd.exe" in the Makefile should be a good first step.
- Incorrect path and shell script error, Loch Brandon, 2020/05/06
- Re: Incorrect path and shell script error, Paul Smith, 2020/05/06
- Re: Incorrect path and shell script error, Loch Brandon, 2020/05/07
- Windows shell discovery (was: Re: Incorrect path and shell script error), Paul Smith, 2020/05/07
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error),
Eli Zaretskii <=
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Loch Brandon, 2020/05/07
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Eli Zaretskii, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Loch Brandon, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Eli Zaretskii, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Loch Brandon, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Loch Brandon, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Eli Zaretskii, 2020/05/08
- Re: Windows shell discovery (was: Re: Incorrect path and shell script error), Loch Brandon, 2020/05/08
- Re: Incorrect path and shell script error, Edward Welbourne, 2020/05/08