diff options
| author | krasimir <krasimir@chalmers.se> | 2015-03-19 09:28:31 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-03-19 09:28:31 +0000 |
| commit | e72fcb1513024e192eb112005da5e8586f517620 (patch) | |
| tree | d2561f6008fa2d1535c6d949dde6e06d6474344f /src/compiler/GF/CompileInParallel.hs | |
| parent | a120ed1e22c1fbeb7d8e2245e3b2355b051ce2f2 (diff) | |
fix the compilation of gu/mem.c on Windows. For now memory mapped pools on Windows are just not supported.
Diffstat (limited to 'src/compiler/GF/CompileInParallel.hs')
0 files changed, 0 insertions, 0 deletions