From ba66549888fbf40b19f1db5b820d78e024b33017 Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Tue, 3 Jun 2014 11:24:21 +0200 Subject: update vc libraries and firmware for raspberry pi, make GPU mem configurable --- mk/build.mk | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'mk') diff --git a/mk/build.mk b/mk/build.mk index 6d15f5766..5938a467a 100644 --- a/mk/build.mk +++ b/mk/build.mk @@ -123,6 +123,10 @@ POSTCONFIG= -@\ touch .rebuild.bkeymaps;\ rebuild=1;\ fi; \ + if [ "$$(grep ^ADK_TARGET_GPU_MEM .config|md5sum)" != "$$(grep ^ADK_TARGET_GPU_MEM .config.old|md5sum)" ];then \ + touch .rebuild.bcm2835-bootloader;\ + rebuild=1;\ + fi; \ if [ "$$(grep ^ADK_KERNEL_ADDON .config|md5sum)" != "$$(grep ^ADK_KERNEL_ADDON .config.old|md5sum)" ];then \ make cleankernel;\ fi; \ -- cgit v1.2.3