Bryan Tong Minh 3d9af87721 windows/Makefile: Add .exe extension to executables name.
Uses the same logic applied in 5b57ae985ff7064dd7b09b0ce891697bfaa5dae2
to determine when to add .exe.

See related: #3310, #3361, #3370, #4143, #5727.
2021-07-08 12:35:08 +10:00
..
2021-06-18 16:38:06 +10:00
2021-03-11 12:51:10 +11:00
2019-11-21 12:04:53 +11:00
2020-10-22 11:40:56 +02:00
2020-10-22 11:40:56 +02:00