diff --git a/Jenkinsfiles/Linux-SGX b/Jenkinsfiles/Linux-SGX index 75a70efe..7f182782 100644 --- a/Jenkinsfiles/Linux-SGX +++ b/Jenkinsfiles/Linux-SGX @@ -57,6 +57,12 @@ pipeline { make SGX=1 regression ''' } + sh ''' + cd LibOS/shim/test/apps/ltp + make SGX=1 + make SGX_RUN=1 + SGX_RUN=1 ./syscalls.sh + ''' timeout(time: 5, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/python