diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux index ff3b2c2d..45cd051e 100644 --- a/Jenkinsfiles/Linux +++ b/Jenkinsfiles/Linux @@ -22,6 +22,7 @@ pipeline { ''' sh ''' cd LibOS/shim/test/apps/ltp + git submodule update --init src make ./syscalls.sh ''' diff --git a/Jenkinsfiles/Linux-Debug b/Jenkinsfiles/Linux-Debug index 32045e42..b4269209 100644 --- a/Jenkinsfiles/Linux-Debug +++ b/Jenkinsfiles/Linux-Debug @@ -22,6 +22,7 @@ pipeline { ''' sh ''' cd LibOS/shim/test/apps/ltp + git submodule update --init src make ./syscalls.sh ''' diff --git a/LibOS/shim/test/apps b/LibOS/shim/test/apps index 08cc262d..cad9612e 160000 --- a/LibOS/shim/test/apps +++ b/LibOS/shim/test/apps @@ -1 +1 @@ -Subproject commit 08cc262d443f33e6f08c2d8de494fc12bd846449 +Subproject commit cad9612ea22692781e4da0b0f2fcd0086ddeca57