From 2f19071e865181d9a0c2e61f5e57731fb86e4e5d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 17 Mar 2020 07:57:56 +0100
Subject: riscV/DuplicateOpcodeHeuristic.ml

---
 config_rv64.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config_rv64.sh')

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- "$@"
-- 
cgit