configure: Allow command-line configure for ppc32
authorRichard Henderson <rth@twiddle.net>
Wed, 28 Aug 2013 22:48:21 +0000 (15:48 -0700)
committerRichard Henderson <rth@twiddle.net>
Wed, 25 Sep 2013 01:50:40 +0000 (18:50 -0700)
commite3608d66cea318698a2c4361d4e11a0e224c36db
tree6dc68b3ba3334a3ea0c33ddf52563c75664a900d
parentf828a4c8faa118e0ebab3e353ac6840f3b2a0318
configure: Allow command-line configure for ppc32

Similar to manually selecting i386 for an x86_64 host.

Signed-off-by: Richard Henderson <rth@twiddle.net>
configure