aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-07-22 10:26:36 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-07-22 10:26:36 +0200
commite8041d0dc9e2855068c7e0228b81f4231834a7c5 (patch)
tree6366d09df94daab33e11d0d88c82b3dfa47e752e /configure
parent29276187b0985f46dc0c3e08cf4d72fffc3c1f4c (diff)
downloadcompcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.tar.gz
compcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.zip
use the assembler from the same toolchain
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
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"