diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-17 07:57:56 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-17 07:57:56 +0100 |
| commit | 2f19071e865181d9a0c2e61f5e57731fb86e4e5d (patch) | |
| tree | 07bcd02bb5c72f5287ab99963dd2184bc3f4c48a /config_rv64.sh | |
| parent | 0ebdbc31c3e992e43d85699a039ebdd23e272df6 (diff) | |
| download | compcert-kvx-2f19071e865181d9a0c2e61f5e57731fb86e4e5d.tar.gz compcert-kvx-2f19071e865181d9a0c2e61f5e57731fb86e4e5d.zip | |
riscV/DuplicateOpcodeHeuristic.ml
Diffstat (limited to 'config_rv64.sh')
| -rwxr-xr-x | config_rv64.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config_rv64.sh b/config_rv64.sh index e95f8a70..0698c2ff 100755 --- a/config_rv64.sh +++ b/config_rv64.sh @@ -1 +1 @@ -exec ./config_simple.sh rv64-linux --toolprefix riscv64-unknown-elf- "$@" +exec ./config_simple.sh rv64-linux --toolprefix riscv64-linux-gnu- "$@" |