diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux index b619ae83..ee2546d9 100644 --- a/Jenkinsfiles/Linux +++ b/Jenkinsfiles/Linux @@ -25,7 +25,6 @@ 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 27908ecc..15302828 100644 --- a/Jenkinsfiles/Linux-Debug +++ b/Jenkinsfiles/Linux-Debug @@ -23,7 +23,6 @@ pipeline { ''' sh ''' cd LibOS/shim/test/apps/ltp - git submodule update --init src make ./syscalls.sh '''