# The default target checks for the existence of Local/Makefile, that the main
# makefile is built and up-to-date, and then it runs it.
# The default target checks for the existence of Local/Makefile, that the main
# makefile is built and up-to-date, and then it runs it.