diff options
| -rw-r--r-- | Makefile.rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.rules b/Makefile.rules index 25131515ec..404454dc2a 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -104,6 +104,9 @@ buildall: @touch .tests-passed @echo "$@ completed successfully!" +showboards: + @echo $(sort $(boards)) + # Print any important notices at the end of the build. .PHONY: notice notice: $(config) |