diff --git a/Jenkinsfiles/Linux-SGX b/Jenkinsfiles/Linux-SGX index fc2ff106..2fa79cae 100644 --- a/Jenkinsfiles/Linux-SGX +++ b/Jenkinsfiles/Linux-SGX @@ -111,7 +111,7 @@ pipeline { cd "$(./Scripts/clean-check-test-copy)" rm Pal/src/host/Linux-SGX/signer/enclave-key.pem - make -C Pal/src/host/Linux-SGX/sgx-driver clean + make -C Pal/src/host/Linux-SGX/sgx-driver distclean make SGX=1 clean rm LibOS/glibc-*.tar.gz make -C LibOS/shim/test/regression SGX=1 clean diff --git a/Pal/src/host/Linux-SGX/sgx-driver b/Pal/src/host/Linux-SGX/sgx-driver index a9b1a304..e7d1265e 160000 --- a/Pal/src/host/Linux-SGX/sgx-driver +++ b/Pal/src/host/Linux-SGX/sgx-driver @@ -1 +1 @@ -Subproject commit a9b1a30468cffa7102c8b2b1c84c60d03037a702 +Subproject commit e7d1265edc1835290f6eb833166b5e265896d198