michael@0: not-default:
michael@0: 	@echo TEST-FAIL did not run default rule
michael@0: 
michael@0: default:
michael@0: 	@echo $(if $(filter not-default,$(INTERMEDIATE_DEFAULT_GOAL)),TEST-PASS,TEST-FAIL .DEFAULT_GOAL not set by $(MAKE))
michael@0: 
michael@0: INTERMEDIATE_DEFAULT_GOAL := $(.DEFAULT_GOAL)
michael@0: .DEFAULT_GOAL := default