[Pal/Linux-SGX] Add distclean target for sgx-driver

The SGX driver is typically updated only very rarely. Therefore,
there is no need to remove the linux-sgx-driver symlink and the
isgx_version.h header in `make clean`. This commit introduces
a new distclean target to remove them.
This commit is contained in:
Isaku Yamahata
2019-11-06 23:22:39 -08:00
committed by Dmitrii Kuvaiskii
parent 17091642c9
commit 4e67c047f6
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -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