diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 09:57:02 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 09:57:02 +0200 |
| commit | 1ea7d1d09c350d0f0613f0bd763c3e01a70ddbb9 (patch) | |
| tree | eb588e4a887365a4ea5e1c81adde23816d2993df /Makefile.extr | |
| parent | 581ac226fb42a0a005baa8941e5f39b181acc6cb (diff) | |
| download | compcert-1ea7d1d09c350d0f0613f0bd763c3e01a70ddbb9.tar.gz compcert-1ea7d1d09c350d0f0613f0bd763c3e01a70ddbb9.zip | |
Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions