diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 13:45:14 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-12 13:45:14 +0200 |
commit | 5cc18b7860630f822ada1e56ae73c6d96b372361 (patch) | |
tree | 1e6877d6d84f2a121a5b8aa74b781bd54060dd16 /runtime/Makefile | |
parent | 819e0e55f945923adc6e8cfccb2e7a9b44a814ac (diff) | |
download | compcert-kvx-5cc18b7860630f822ada1e56ae73c6d96b372361.tar.gz compcert-kvx-5cc18b7860630f822ada1e56ae73c6d96b372361.zip |
some more simplifications
Diffstat (limited to 'runtime/Makefile')
0 files changed, 0 insertions, 0 deletions