# See Makefile.local for the list of files to be compiled in this
# directory.
all:
	$(MAKE) -C .. all

.DEFAULT:
	$(MAKE) -C .. $@