diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:29:03 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:29:03 +0200 |
commit | ac16e9fd0fde714464fbef4719e1a341208d5a93 (patch) | |
tree | 7e7e77b2af1aca8a4f6f1cd562f28c1bc6cb67e3 /config_armhf.sh | |
parent | ed7c278f9f294cc9c4827020f811e4ce458aa9b2 (diff) | |
download | compcert-kvx-ac16e9fd0fde714464fbef4719e1a341208d5a93.tar.gz compcert-kvx-ac16e9fd0fde714464fbef4719e1a341208d5a93.zip |
fix mismatch between hardware FP and software FP on ARM
Diffstat (limited to 'config_armhf.sh')
-rwxr-xr-x | config_armhf.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config_armhf.sh b/config_armhf.sh new file mode 100755 index 00000000..8a1302bd --- /dev/null +++ b/config_armhf.sh @@ -0,0 +1 @@ +exec ./config_simple.sh arm-eabihf --toolprefix arm-linux-gnueabihf- "$@" |