From e8041d0dc9e2855068c7e0228b81f4231834a7c5 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 22 Jul 2020 10:26:36 +0200
Subject: use the assembler from the same toolchain

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 7d24510f..d0bbd0c1 100755
--- a/configure
+++ b/configure
@@ -457,7 +457,7 @@ if test "$arch" = "kvx"; then
   fi
   osupper=`echo $os|tr a-z A-Z`
   k1base="kvx-$os"
-  casm="kvx-elf-as"
+  casm="$k1base-as"
   casm_options="$model_options"
   cc="$k1base-gcc $model_options"
   clinker="$k1base-gcc"
-- 
cgit