| 12345678910111213141516 | 
							- include Scripts/Makefile.configs
 
- targets = all clean format test sgx-tokens distclean
 
- ifneq ($(filter sgx-tokens,$(MAKECMDGOALS)),)
 
- ifneq ($(SGX),1)
 
- $(error "The 'sgx-tokens' target requires SGX=1")
 
- endif
 
- endif
 
- .PHONY: $(targets)
 
- $(targets):
 
- 	$(MAKE) -C Scripts $@
 
- 	$(MAKE) -C Pal $@
 
- 	$(MAKE) -C LibOS $@
 
- 	$(MAKE) -C Runtime $@
 
 
  |