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_arm.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_arm.sh')
-rwxr-xr-x | config_arm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config_arm.sh b/config_arm.sh index eed55fab..1861e029 100755 --- a/config_arm.sh +++ b/config_arm.sh @@ -1 +1 @@ -exec ./config_simple.sh arm-linux --toolprefix arm-linux-gnueabihf- "$@" +exec ./config_simple.sh arm-linux --toolprefix arm-linux-gnueabi- "$@" |