diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 17:45:02 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 17:45:02 +0100 |
commit | aa042a1654698d7bfd1e3cd8cf7abacd528e7133 (patch) | |
tree | c327e925a86868175a47ca93cbb5661c05ca5322 | |
parent | 7dca7590aa212806ee939244b253a6a067f34bfc (diff) | |
download | compcert-kvx-aa042a1654698d7bfd1e3cd8cf7abacd528e7133.tar.gz compcert-kvx-aa042a1654698d7bfd1e3cd8cf7abacd528e7133.zip |
Using k1-elf-as instead of k1-cos-gcc for assembling
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -457,8 +457,8 @@ if test "$arch" = "mppa_k1c"; then fi osupper=`echo $os|tr a-z A-Z` k1base="k1-$os" - casm="$k1base-gcc" - casm_options="$model_options -c" + casm="k1-elf-as" + casm_options="$model_options" cc="$k1base-gcc $model_options" clinker="$k1base-gcc" bindir="$HOME/.usr/bin" |