diff options
| author | Maxime Dénès | 2017-09-19 16:00:51 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-21 16:13:55 +0200 |
| commit | 7b272ac40a6f6b1b712cdb271de73eff5173698e (patch) | |
| tree | d593bf1a2e32f730ce2b86b9488ff86028f2d2e3 /kernel/type_errors.ml | |
| parent | dd51d693c63860c9d05306f39548581c4854d94d (diff) | |
Do not reinstall preinstalled packages under AppVeyor.
It seems that reinstalling gcc can leave Cygwin in a strange state,
where invocations of gcc fail suddenly. I haven't figure out exactly
why, but this seems to fix it.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions