diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 18:56:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 18:56:16 +0100 |
commit | 2a92e61c7469e4ce4340b64fad59508a71b6efb1 (patch) | |
tree | ac6dbedc588c8ca0a2644bf51756a9797168567f /config_rv32.sh | |
parent | 4799ad6121055c7a95c5a9c3c76d15706abafb6d (diff) | |
download | compcert-kvx-2a92e61c7469e4ce4340b64fad59508a71b6efb1.tar.gz compcert-kvx-2a92e61c7469e4ce4340b64fad59508a71b6efb1.zip |
fix config for K1C PPC RV32 for CI
Diffstat (limited to 'config_rv32.sh')
-rwxr-xr-x | config_rv32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config_rv32.sh b/config_rv32.sh index 654cacfa..a5a5cf1c 100755 --- a/config_rv32.sh +++ b/config_rv32.sh @@ -1 +1 @@ -exec ./config_simple.sh rv32-linux --toolprefix riscv64-unknown-elf- "$@" +exec ./config_simple.sh rv32-linux --toolprefix riscv64-linux-gnu- "$@" |