# This Makefile is just for the convenience of being able to make
# while having the shell be in src/

.PHONY: FORCE

FORCE:
	$(MAKE) -C .. $(MAKECMDGOALS)
