diff options
| author | Pierre Boutillier | 2013-12-12 21:51:24 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2013-12-12 21:51:24 +0100 |
| commit | 1d6aff833da3755adfa2ed5fcda5e11b536cf8cf (patch) | |
| tree | b61cbca9332d3f27794f2dfc791797b012171660 /kernel | |
| parent | b4ed8ee3ad7fffe5594df17b0b343e649fc44d1e (diff) | |
Do not compile coqide with -thread
Coqide compiled with -thread seems to hang for ever at startup under MacOS
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions