1.1 --- a/make/linux/platform_ppc Wed Jun 19 12:15:50 2013 +0200
1.2 +++ b/make/linux/platform_ppc Wed Jun 19 12:29:30 2013 +0200
1.3 @@ -14,4 +14,4 @@
1.4
1.5 gnu_dis_arch = ppc
1.6
1.7 -sysdefs = -DLINUX -D_GNU_SOURCE -DPPC
1.8 +sysdefs = -DLINUX -D_GNU_SOURCE -DPPC32