diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2014-06-03 11:24:21 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-06-03 11:24:21 +0200 |
commit | ba66549888fbf40b19f1db5b820d78e024b33017 (patch) | |
tree | def16ab5ab748e1d8c72e9df5b78ba70a8d990cb /mk | |
parent | 08636cc5d22ed995d23617568c15c0d19f971ddf (diff) |
update vc libraries and firmware for raspberry pi, make GPU mem configurable
Diffstat (limited to 'mk')
-rw-r--r-- | mk/build.mk | 4 |
1 files changed, 4 insertions, 0 deletions
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; \ |