diff options
| author | Pierre-Marie Pédrot | 2017-09-01 19:11:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-22 15:19:15 +0200 |
| commit | 94b8e1276f6be454e09437faba49564836986a61 (patch) | |
| tree | 961ab7196729040e37edf0ecf46d64f00da184b0 /stm/asyncTaskQueue.ml | |
| parent | 296941dc97d53817cc58b4687ed99168e1dd33a9 (diff) | |
Make a test for coq_makefile portable.
The validity of this test depended on Makefile issueing warnings in English.
We simply force the global language of the shell to be C.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions