diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:13:24 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 15:13:24 +0100 |
commit | 4274a63b70fa77078dce527af958d5f21b949fbe (patch) | |
tree | 868bc14c6cec6a28e173e04bce3a2f2214e0fe42 /configure | |
parent | e4da4f2eca5213a6c1b64a64d8e25384a4ec2fec (diff) | |
parent | 6c667fb613a4b646faec36b029242ab8138da433 (diff) | |
download | compcert-kvx-4274a63b70fa77078dce527af958d5f21b949fbe.tar.gz compcert-kvx-4274a63b70fa77078dce527af958d5f21b949fbe.zip |
Merge branch 'mppa-work' into mppa-cse2
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" |