build-scripts/raspberrypi-buildbot.sh
changeset 8063 405d84eedad8
parent 8007 f4264c673a8d
child 8587 d913fb15b69a
     1.1 --- a/build-scripts/raspberrypi-buildbot.sh	Sat Dec 14 20:18:43 2013 -0300
     1.2 +++ b/build-scripts/raspberrypi-buildbot.sh	Sun Dec 15 00:21:42 2013 -0500
     1.3 @@ -39,7 +39,7 @@
     1.4  pushd $BUILDBOTDIR
     1.5  
     1.6  SYSROOT="/opt/rpi-sysroot"
     1.7 -export CC="/opt/rpi-tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc --sysroot=$SYSROOT -I$SYSROOT/opt/vc/include -I$SYSROOT/usr/include -I$SYSROOT/opt/vc/include/interface/vcos/pthreads -I$SYSROOT/opt/vc/include/interface/vmcs_host/linux -L$SYSROOT/opt/vc/lib"
     1.8 +export CC="ccache /opt/rpi-tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/arm-linux-gnueabihf-gcc --sysroot=$SYSROOT -I$SYSROOT/opt/vc/include -I$SYSROOT/usr/include -I$SYSROOT/opt/vc/include/interface/vcos/pthreads -I$SYSROOT/opt/vc/include/interface/vmcs_host/linux -L$SYSROOT/opt/vc/lib"
     1.9  # -L$SYSROOT/usr/lib/arm-linux-gnueabihf"
    1.10  # !!! FIXME: shouldn't have to --disable-* things here.
    1.11  ../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd