hg: openjfx/8/controls: Tweaking Raspberry PI cross build.

[david.hill at oracle.com]

Changeset: 65f9877c4557
Author:    David Hill
Date:      2013-03-14 10:18 -0400
URL:       http://hg.openjdk.java.net/openjfx/8/controls/rev/65f9877c4557

Tweaking Raspberry PI cross build.

! build-src/build-os-arch.xml
+ build-src/platform/on-raspberry-pi.properties
! build-src/platform/raspberry-pi.properties