aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-03-19 11:56:19 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-03-19 11:56:19 +0100
commit23fb9970915ab586a3c5c3a55c5d3ec372604f7b (patch)
treef319a6738f5561ea68f4e46fb245bcb399ff901f /runtime/Makefile
parentb74e3c48e601e46cb695caccc162cd03e781d739 (diff)
downloadcompcert-kvx-23fb9970915ab586a3c5c3a55c5d3ec372604f7b.tar.gz
compcert-kvx-23fb9970915ab586a3c5c3a55c5d3ec372604f7b.zip
Small improvements to interop test Makefile
Diffstat (limited to 'runtime/Makefile')
0 files changed, 0 insertions, 0 deletions