diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 13:23:39 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 13:23:39 +0100 |
commit | ae18d304656aced623fcef6a7eb6f22ec9abaca8 (patch) | |
tree | 8dd6b210c7d7b2046e731aff04fdeff0cd6a1958 /test/monniaux/rules.mk | |
parent | fa3dc1da271794a5143fe4bca50c656b70aba2de (diff) | |
download | compcert-kvx-ae18d304656aced623fcef6a7eb6f22ec9abaca8.tar.gz compcert-kvx-ae18d304656aced623fcef6a7eb6f22ec9abaca8.zip |
add some INLINE markers
Diffstat (limited to 'test/monniaux/rules.mk')
0 files changed, 0 insertions, 0 deletions