diff --git a/Jenkinsfile b/Jenkinsfile
index 5433e2f..73ce5f8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,8 @@
 node ("make") {
+    stage('checkout tools') {
+        checkout scm
+    }
+
     stage('checkout') {
         checkout([
             $class: 'GitSCM',