Rename 'make.bat' to another name
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.