diff options
author | Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> | 2012-01-08 14:10:07 +0800 |
---|---|---|
committer | Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> | 2012-01-11 21:22:34 +0800 |
commit | b7498fdb821bf564fd5435408aefddb93d2b8597 (patch) | |
tree | bf8208905033dd8f17ad0b32294ac0cfa97c4c6d /include/common.h | |
parent | 21d0fac1382cbe20dfc95c0a400350632f28cbdb (diff) | |
download | barebox-b7498fdb821bf564fd5435408aefddb93d2b8597.tar.gz barebox-b7498fdb821bf564fd5435408aefddb93d2b8597.tar.xz |
banner: add config to disable it
this will allow to save 144 bytes
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
Diffstat (limited to 'include/common.h')
-rw-r--r-- | include/common.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/common.h b/include/common.h index 2f37dd845f..a89b3bdcdf 100644 --- a/include/common.h +++ b/include/common.h @@ -198,7 +198,11 @@ int run_shell(void); int memory_display(char *addr, ulong offs, ulong nbytes, int size); extern const char version_string[]; +#ifdef CONFIG_BANNER void barebox_banner(void); +#else +static inline void barebox_banner(void) {} +#endif #define IOMEM(addr) ((void __force __iomem *)(addr)) |