| 1234567891011121314151617 | 
							- SYS ?= $(shell gcc -dumpmachine)
 
- export SYS
 
- targets = all clean format test sgx-tokens
 
- 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 $@
 
 
  |