diff options
author | David Allsopp <david.allsopp@metastack.com> | 2019-07-30 10:44:00 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2019-07-30 10:44:00 +0100 |
commit | 5bdf58f7d4515c889544bcd8c0a23119fa6d0987 (patch) | |
tree | b0bbb554aba6eff28db757c7bc4fbb7d4af870e1 | |
parent | 1e610e2703927144786c2e62907cd07e28677a0f (diff) | |
download | ocaml-5bdf58f7d4515c889544bcd8c0a23119fa6d0987.tar.gz |
Regenerate configure
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -13520,6 +13520,8 @@ fi; system=elf ;; #( arch=arm; model=armv5te; system=linux_eabi ;; #( armv5*-*-linux-gnueabi) : arch=arm; model=armv5; system=linux_eabi ;; #( + arm*-*-linux-gnueabihf) : + arch=arm; system=linux_eabihf ;; #( arm*-*-linux-gnueabi) : arch=arm; system=linux_eabi ;; #( arm*-*-openbsd*) : @@ -13744,7 +13746,7 @@ case $host in #( esac if test -n "$host_alias"; then : - toolpref="${host}-" + toolpref="${host_alias}-" else toolpref="" fi |