diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:12:39 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:12:39 +0200 |
commit | e9e0281231121f5e04fa8915baffc1378bcdea21 (patch) | |
tree | 0d8a71d295257b6062112f63e65fd57d0413a1fb /configure | |
parent | 8cee2111e40fdd0c12afab1718e732f1bad71d5c (diff) | |
parent | 2e39ecb491bbd001ecdfba73115bc76e3f53f517 (diff) | |
download | compcert-kvx-e9e0281231121f5e04fa8915baffc1378bcdea21.tar.gz compcert-kvx-e9e0281231121f5e04fa8915baffc1378bcdea21.zip |
Merge remote-tracking branch 'origin/kvx-work' 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" |