diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 16 insertions, 1 deletions
@@ -33,4 +33,19 @@ include src/arch/${arch}/Makefile.inc clean: arch_clean rm -f build/system.elf -.PHONY: clean +help: arch_help + @echo + @echo "Global flags:" + @echo " timer_cycles timer_us timer_s" + @echo " loop" + @echo + @echo "${arch} drivers:" + @echo " $(shell ls src/arch/${arch}/driver | fgrep .c | cut -d . -f 1)" + @echo + @echo "Global drivers:" + @echo " $(shell ls src/driver | fgrep .c | cut -d . -f 1)" + @echo + @echo "Global architectures:" + @echo " $(shell ls src/arch)" + +.PHONY: clean help |