diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-22 10:26:36 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-22 10:26:36 +0200 |
commit | e8041d0dc9e2855068c7e0228b81f4231834a7c5 (patch) | |
tree | 6366d09df94daab33e11d0d88c82b3dfa47e752e | |
parent | 29276187b0985f46dc0c3e08cf4d72fffc3c1f4c (diff) | |
download | compcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.tar.gz compcert-kvx-e8041d0dc9e2855068c7e0228b81f4231834a7c5.zip |
use the assembler from the same toolchain
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |