diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:07:28 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:07:28 +0100 |
commit | 6c667fb613a4b646faec36b029242ab8138da433 (patch) | |
tree | 8d1ba38969020a5ed5a979d6679c11054a03b8c4 /configure | |
parent | 4f980e9903ddfb213247bf45015d486e36977383 (diff) | |
parent | fadf090fcc33d9d5aabde1cb1f2c5116302427a4 (diff) | |
download | compcert-kvx-6c667fb613a4b646faec36b029242ab8138da433.tar.gz compcert-kvx-6c667fb613a4b646faec36b029242ab8138da433.zip |
Merge branch 'mppa-fixing-bundling' into mppa-work
Diffstat (limited to 'configure')
-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" |