diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-10-23 04:23:53 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-10-24 20:33:13 +0200 |
| commit | d7a52814daf48d529f85639dbee25f2191344d6e (patch) | |
| tree | 6421b1dca21679931376f2720995b647487b52f5 /src/grt | |
| parent | c5b094bbdbcea5cb27dab89f78b9a9f0980a1eb7 (diff) | |
| download | ghdl-d7a52814daf48d529f85639dbee25f2191344d6e.tar.gz ghdl-d7a52814daf48d529f85639dbee25f2191344d6e.tar.bz2 ghdl-d7a52814daf48d529f85639dbee25f2191344d6e.zip | |
configure: detect 'x86_64-w64-windows-gnu' as a Windows platform
Diffstat (limited to 'src/grt')
0 files changed, 0 insertions, 0 deletions