[LibOS] test/apps: Rewrite GCC example

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') {

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') {

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') {

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') {

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') {

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') {

LibOS/shim/test/apps

@@ -1 +1 @@
-Subproject commit 21265aa9ecd447cd457ab1ce2e3655ecaec89b9d
+Subproject commit 9ce698d63a2ca6b1ac6ac2dcb2c875d835b46109