Jenkinsfile: remove tangling target

kframework · Jun 13, 2020 · c3fad9a · c3fad9a
1 parent 5eb2413
commit c3fad9a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -11,7 +11,6 @@ pipeline {
       when { changeRequest() }
       steps { script { currentBuild.displayName = "PR ${env.CHANGE_ID}: ${env.CHANGE_TITLE}" } }
     }
-    stage('Definition Deps') { steps { sh 'make definition-deps -j4' } }
     stage('Build')           { steps { sh 'make build -j4'           } }
     stage('Test') {
       options { timeout(time: 15, unit: 'MINUTES') }