Browse Source

[PAL] Clean up reference monitor residues

Chia-Che Tsai 6 years ago
parent
commit
429aee3527
2 changed files with 0 additions and 3 deletions
  1. 0 2
      Pal/Makefile
  2. 0 1
      Pal/src/Makefile

+ 0 - 2
Pal/Makefile

@@ -18,8 +18,6 @@ format:
 	clang-format -i $(shell find . -path ./lib/crypto/mbedtls -prune -o \
 	clang-format -i $(shell find . -path ./lib/crypto/mbedtls -prune -o \
 	                               -path ./lib/crypto/udivmodti4.c -prune -o \
 	                               -path ./lib/crypto/udivmodti4.c -prune -o \
 	                               -path ./src/host/Linux-SGX/sgx-driver -prune -o \
 	                               -path ./src/host/Linux-SGX/sgx-driver -prune -o \
-	                               -path ./src/security/Linux/bpf-helper.h -prune -o \
-	                               -path ./src/security/Linux/bpf_helper.c -prune -o \
 	                               \( -name '*.h' -o -name '*.c' \) -print)
 	                               \( -name '*.h' -o -name '*.c' \) -print)
 
 
 .PHONY: pack
 .PHONY: pack

+ 0 - 1
Pal/src/Makefile

@@ -146,4 +146,3 @@ $(OBJ_DIR)/%.s: %.c $(headers)
 clean:
 clean:
 	rm -rf $(LIB_DIR) $(OBJ_DIR) $(files_to_build)
 	rm -rf $(LIB_DIR) $(OBJ_DIR) $(files_to_build)
 	@[ ! -d $(HOST_DIR) ] || $(MAKE) -C $(HOST_DIR) clean
 	@[ ! -d $(HOST_DIR) ] || $(MAKE) -C $(HOST_DIR) clean
-	@[ ! -d security/$(PAL_HOST) ] || $(MAKE) -C security/$(PAL_HOST) clean