diff options
author | Daniel Friesel <derf@finalrewind.org> | 2018-12-05 18:13:17 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2018-12-05 18:13:17 +0100 |
commit | a827a8ad5a7b2ffdd83c0eeba82ec7468df321f9 (patch) | |
tree | 81c978083b385b9b93b654ffc18b98a15e76de6b /Makefile | |
parent | d0157ffa16adaf59d56148e39f9397b348e72f8e (diff) |
support static analysis of stack usage
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -14,6 +14,10 @@ ifneq (${verbose}, ) QUIET = endif +ifneq (${stack_usage}, ) + COMMON_FLAGS += -fstack-usage +endif + include src/app/${app}/Makefile.inc ifneq ($(findstring lm75,${drivers}), ) @@ -123,6 +127,11 @@ endif include src/arch/${arch}/Makefile.inc +stack: default + @test -n "${OBJDUMP}" + @test -n "${ARCH_CALL_COST}" + @./avstack.pl ${OBJDUMP} ${ARCH_CALL_COST} ${OBJECTS} + clean: arch_clean rm -f build/system.elf @@ -144,4 +153,4 @@ help: arch_help info: arch_info @echo "Selected Drivers: ${drivers} / ${arch_drivers}" -.PHONY: clean help info +.PHONY: clean default stack help info |