From ea72e84a88ecd2ca7a59ac20b2d566d35bed288a Mon Sep 17 00:00:00 2001 From: Thomas Knauth Date: Tue, 22 Oct 2019 10:23:57 -0700 Subject: [PATCH] [LibOS] test/apps: Rewrite GCC example --- Jenkinsfiles/Linux | 2 +- Jenkinsfiles/Linux-18.04 | 2 +- Jenkinsfiles/Linux-Debug | 2 +- Jenkinsfiles/Linux-Debug-18.04 | 2 +- Jenkinsfiles/Linux-SGX | 4 ++-- Jenkinsfiles/Linux-SGX-18.04 | 4 ++-- LibOS/shim/test/apps | 2 +- 7 files changed, 9 insertions(+), 9 deletions(-) diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux index 36db6940..9fd93ce4 100644 --- a/Jenkinsfiles/Linux +++ b/Jenkinsfiles/Linux @@ -48,7 +48,7 @@ pipeline { timeout(time: 5, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make regression + make check ''' } timeout(time: 15, unit: 'MINUTES') { diff --git a/Jenkinsfiles/Linux-18.04 b/Jenkinsfiles/Linux-18.04 index cff3ff6e..5fbe6317 100644 --- a/Jenkinsfiles/Linux-18.04 +++ b/Jenkinsfiles/Linux-18.04 @@ -42,7 +42,7 @@ pipeline { timeout(time: 5, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make regression + make check ''' } timeout(time: 15, unit: 'MINUTES') { diff --git a/Jenkinsfiles/Linux-Debug b/Jenkinsfiles/Linux-Debug index d2e0de4b..4fbc89e9 100644 --- a/Jenkinsfiles/Linux-Debug +++ b/Jenkinsfiles/Linux-Debug @@ -44,7 +44,7 @@ pipeline { timeout(time: 5, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make regression + make check ''' } timeout(time: 20, unit: 'MINUTES') { diff --git a/Jenkinsfiles/Linux-Debug-18.04 b/Jenkinsfiles/Linux-Debug-18.04 index 35b1e347..2638af72 100644 --- a/Jenkinsfiles/Linux-Debug-18.04 +++ b/Jenkinsfiles/Linux-Debug-18.04 @@ -39,7 +39,7 @@ pipeline { timeout(time: 5, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make regression + make check ''' } timeout(time: 20, unit: 'MINUTES') { diff --git a/Jenkinsfiles/Linux-SGX b/Jenkinsfiles/Linux-SGX index 373ff8e2..fc2ff106 100644 --- a/Jenkinsfiles/Linux-SGX +++ b/Jenkinsfiles/Linux-SGX @@ -82,8 +82,8 @@ pipeline { timeout(time: 10, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make SGX=1 all sgx-tokens - make SGX=1 regression + make SGX=1 all + make SGX=1 check ''' } timeout(time: 15, unit: 'MINUTES') { diff --git a/Jenkinsfiles/Linux-SGX-18.04 b/Jenkinsfiles/Linux-SGX-18.04 index 0f67e920..5d6c3edd 100644 --- a/Jenkinsfiles/Linux-SGX-18.04 +++ b/Jenkinsfiles/Linux-SGX-18.04 @@ -79,8 +79,8 @@ pipeline { timeout(time: 10, unit: 'MINUTES') { sh ''' cd LibOS/shim/test/apps/gcc - make SGX=1 all sgx-tokens - make SGX=1 regression + make SGX=1 all + make SGX=1 check ''' } timeout(time: 15, unit: 'MINUTES') { diff --git a/LibOS/shim/test/apps b/LibOS/shim/test/apps index 21265aa9..9ce698d6 160000 --- a/LibOS/shim/test/apps +++ b/LibOS/shim/test/apps @@ -1 +1 @@ -Subproject commit 21265aa9ecd447cd457ab1ce2e3655ecaec89b9d +Subproject commit 9ce698d63a2ca6b1ac6ac2dcb2c875d835b46109