diff TOOLS/binary_codecs.sh @ 33974:beffeadc678e

Simplify checking for ppc or ppc64 using wildcards.
author reimar
date Mon, 05 Sep 2011 21:55:40 +0000
parents 6d06be50007f
children
line wrap: on
line diff