diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-10 16:21:23 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-10 16:21:23 +0200 |
commit | 2e54a9c599ef13e4fe84ec80fac4c1835a052241 (patch) | |
tree | 83c9c98a5ed41f1447edd4089fb9850281bd139e /configure | |
parent | 0566b93d9e42ab023eb95a4535af0c3a86b0421c (diff) | |
parent | 8d1c157bf4f262de656abfee51afd2f56f8127db (diff) | |
download | compcert-kvx-2e54a9c599ef13e4fe84ec80fac4c1835a052241.tar.gz compcert-kvx-2e54a9c599ef13e4fe84ec80fac4c1835a052241.zip |
Merge branch 'mppa-RTLpathSE-verif-hash-junk' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-RTLpathSE-verif-hash-junk
Diffstat (limited to 'configure')
-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" |