diff options
author | Eran Meir <eranmeir@gmail.com> | 2016-01-02 03:49:39 +0200 |
---|---|---|
committer | Eran Meir <eranmeir@gmail.com> | 2016-01-02 03:49:39 +0200 |
commit | 8f8bca7350c25d21e079e3513d9b8fad93c42812 (patch) | |
tree | b1fae1440bcbb4e3edcf1a78391cd3e34de5c669 /src/main.mlton.sml | |
parent | c748c02510ce84b457c2c7d288a67b686642bd0d (diff) |
Prevent pthread cflags options from being passed to linker
(in order to fix build issue on mac)
Diffstat (limited to 'src/main.mlton.sml')
0 files changed, 0 insertions, 0 deletions