diff options
| author | Richard Henderson <rth@twiddle.net> | 2014-04-30 14:07:47 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@twiddle.net> | 2014-06-23 07:32:23 -0700 |
| commit | 40d964b563d144cae459c39fd6e3a6cd7b34127a (patch) | |
| tree | 19ab017e3fc2216687291fc13abbfbaa3b51eb45 /util | |
| parent | b38daef9d4a174b874284ddac6d82f246a556363 (diff) | |
tcg-ppc: Rename the tcg/ppc64 backend
The other tcg backends that support 32- and 64-bit modes
use the 32-bit name for the port. Follow suit.
Tested-by: Tom Musta <tommusta@gmail.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions