diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-28 16:04:44 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-28 16:04:44 +0200 |
commit | b96a48de58e1969535865b7b345514a24f7178a6 (patch) | |
tree | e2078ecc6b7f2c4937afe1061ecc8104dd15bcdf /config_armhf.sh | |
parent | 9ac49c465f9c8969fba00e6242da0c188a6a3080 (diff) | |
download | compcert-kvx-b96a48de58e1969535865b7b345514a24f7178a6.tar.gz compcert-kvx-b96a48de58e1969535865b7b345514a24f7178a6.zip |
Change temporary solution (see prev commits), and add option for it
Diffstat (limited to 'config_armhf.sh')
0 files changed, 0 insertions, 0 deletions