diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 22:54:20 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 22:54:20 +0200 |
| commit | a3d856e24b2ac6577678a1535e4d15316cf0755c (patch) | |
| tree | c92187c45c7a1fa3ccb0ab31a44efb6f733b1af2 /config_simple.sh | |
| parent | 1348bc74b48ea8cb366a8bfab379699137276292 (diff) | |
| download | compcert-kvx-a3d856e24b2ac6577678a1535e4d15316cf0755c.tar.gz compcert-kvx-a3d856e24b2ac6577678a1535e4d15316cf0755c.zip | |
fix for running the profile code on host
Diffstat (limited to 'config_simple.sh')
0 files changed, 0 insertions, 0 deletions