diff options
| author | Jim Fehrle | 2018-06-28 13:04:27 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-06-30 10:21:21 -0700 |
| commit | 069d17f4f138fd779eff589119a7783784ababd9 (patch) | |
| tree | 0a7fb0841703b7273f4609f3a0744e452239b78b /kernel/nativecode.mli | |
| parent | 74640d2b8bc158b301c0646db19747a86313e25a (diff) | |
Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).
Fixes #7758.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions