Rename 'make.bat' to another name

[Dominiquini]

Describe the feature

Rename the file 'make.bat' to another name to avoid it been selected as the standard 'make 'command from GNU Make!

Use Case

The file 'make.bat' was selected for the default make command (GNU Make) if I put the V folder in the $env:PATH!

Proposed Solution

Rename to 'v_make.bat' or another thing!

Other Information

No response

Acknowledgements

• I may be able to implement this feature request
• This feature might incur a breaking change

Version used

V 0.4.5 292431f

Environment details (OS name and version, etc.)

V full version: V 0.4.5 d6d0f9b.292431f
OS: windows, Microsoft Windows 10 Pro v19045 64-bit
Processor: 8 cpus, 64bit, little endian,

getwd: C:\Developing\V
vexe: C:\Developing\V\v.exe
vexe mtime: 2024-05-13 19:29:06

vroot: OK, value: C:\Developing\V
VMODULES: contains spaces, value: C:\Users\Rafael Dominiquini.vmodules
VTMP: contains spaces, value: C:\Users\Rafael Dominiquini\AppData\Local\Temp\v_0

Git version: git version 2.45.0.windows.1
Git vroot status: weekly.2024.19-47-g292431fd
.git/config present: true

CC version: cc (Rev2, Built by MSYS2 project) 14.1.0
thirdparty/tcc status: thirdparty-windows-amd64 b99a453d

Note

You can use the 👍 reaction to increase the issue's priority for developers.

Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.