diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 12:06:13 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 12:06:13 +0200 |
commit | bb464ecedab2e8fa681c0d822b029c2170495472 (patch) | |
tree | 50f56793d7a285c4652c1e16242aa35ad04d0f77 | |
parent | 819c6e0a77206f74c0b2b0ec656c47d8ef3068cf (diff) | |
download | compcert-kvx-bb464ecedab2e8fa681c0d822b029c2170495472.tar.gz compcert-kvx-bb464ecedab2e8fa681c0d822b029c2170495472.zip |
MPPA - Fixed -m64 missing
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -414,7 +414,7 @@ fi if test "$arch" = "mppa_k1c"; then #model_options="-march=rv64imafd -mabi=lp64d" # FIXME - maybe later add it for NodeOS & cie - model_options= + model_options=-m64 abi="standard" casm="${toolprefix}gcc" casm_options="$model_options -c" |