diff options
author | Jack Lloyd <[email protected]> | 2019-10-31 20:48:51 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-10-31 20:48:51 -0400 |
commit | e9c552d99d1fcf43b624ab436da1bfc6e00e8543 (patch) | |
tree | 55fedb2e2f4f23f065942c1830def69d0a5dce65 /src/build-data/policy | |
parent | ee665538a34099f73332a52a4cd435a4d639f3c9 (diff) |
Avoid using .PHONY when generating Makefile for Windows
Since most Windows make tools such as jom and nmake don't support it.
And a GCC build should be going for MinGW instead.
Closes #2160
Diffstat (limited to 'src/build-data/policy')
0 files changed, 0 insertions, 0 deletions