From 03f8528315fa46c95991a34f3325d7b33ae5538c Mon Sep 17 00:00:00 2001 From: Edward Rudd <urkle@outoforder.cc> Date: Sat, 02 May 2020 21:48:36 +0000 Subject: [PATCH] Update source to SDL2 2.0.12 --- source/build-scripts/raspberrypi-buildbot.sh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/source/build-scripts/raspberrypi-buildbot.sh b/source/build-scripts/raspberrypi-buildbot.sh index e81fbb5..85124bc 100755 --- a/source/build-scripts/raspberrypi-buildbot.sh +++ b/source/build-scripts/raspberrypi-buildbot.sh @@ -42,7 +42,7 @@ 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" # -L$SYSROOT/usr/lib/arm-linux-gnueabihf" # !!! FIXME: shouldn't have to --disable-* things here. -../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd --disable-video-mir --disable-video-wayland +../configure --with-sysroot=$SYSROOT --host=arm-raspberry-linux-gnueabihf --prefix=$PWD/rpi-sdl2-installed --disable-pulseaudio --disable-esd --disable-video-wayland $MAKE $MAKE install # Fix up a few things to a real install path on a real Raspberry Pi... -- Gitblit v1.9.3