diff options
| author | Enrico Tassi | 2014-09-17 16:42:53 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-17 16:45:43 +0200 |
| commit | d3fb99846bdb9f7e0724dde70c8704dfda843bbb (patch) | |
| tree | b85dad7047c96ccc7430492c23ac85bdfec00297 /dev/base_include | |
| parent | 0c974eb2e4788d1af2d1b759bd4ada3cb1fb9e77 (diff) | |
Revert "coqc: execvp is now available even on win32"
This reverts commit 60c390951cb2d771c16758a84bf592d06769da14.
The reason is that execvp exists on windows but is "non blocking".
So coqc would detach "coqtop -compile" and make would fail trying
to step to the next target before "coqtop -compile" terminates (because
coqc did terminate already).
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions