diff options
author | Daniel Friesel <derf@finalrewind.org> | 2018-10-12 14:35:37 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2018-10-12 14:35:37 +0200 |
commit | 95b4ad119d6c205825ef74acd1ef74981674099d (patch) | |
tree | e992abb59b6c91f28d20d8f1c69b9cbd8ee6b44b /src/arch/esp8266/Makefile.inc | |
parent | a6627709f7348dcfdcb7cd87a24ba7a80730487b (diff) |
Makefiles: quiet mode, optional info output
Diffstat (limited to 'src/arch/esp8266/Makefile.inc')
-rw-r--r-- | src/arch/esp8266/Makefile.inc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/arch/esp8266/Makefile.inc b/src/arch/esp8266/Makefile.inc index 8deaa95..71ac350 100644 --- a/src/arch/esp8266/Makefile.inc +++ b/src/arch/esp8266/Makefile.inc @@ -65,4 +65,6 @@ arch_help: @echo "esp8266 specific flags:" @echo " - none -" -.PHONY: arch_clean arch_help monitor program +arch_info: + +.PHONY: arch_clean arch_help arch_info monitor program |