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/posix | |
parent | a6627709f7348dcfdcb7cd87a24ba7a80730487b (diff) |
Makefiles: quiet mode, optional info output
Diffstat (limited to 'src/arch/posix')
-rw-r--r-- | src/arch/posix/Makefile.inc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/arch/posix/Makefile.inc b/src/arch/posix/Makefile.inc index cb4b46f..9e27b3e 100644 --- a/src/arch/posix/Makefile.inc +++ b/src/arch/posix/Makefile.inc @@ -35,4 +35,6 @@ arch_help: @echo "posix specific flags:" @echo " - none -" -.PHONY: arch_clean arch_help monitor program run +arch_info: + +.PHONY: arch_clean arch_help arch_info monitor program run |