diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-15 09:18:02 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-15 09:18:02 +0100 |
| commit | d0326db1105704e02e2b40facc2a85a267a2b9b5 (patch) | |
| tree | ce771e8f6df03dc552d534c7d90ea8ded98d1500 /config_simple.sh | |
| parent | 192d5f379b3f1efa6f12b45af36f7cfea21d6d50 (diff) | |
| download | compcert-kvx-d0326db1105704e02e2b40facc2a85a267a2b9b5.tar.gz compcert-kvx-d0326db1105704e02e2b40facc2a85a267a2b9b5.zip | |
by default do not inline much
Diffstat (limited to 'config_simple.sh')
0 files changed, 0 insertions, 0 deletions