diff --git a/Jenkinsfile b/Jenkinsfile
index d8ee8ad..9175000 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,10 +14,12 @@ pipeline {
 
   stages {
     stage('Build') {
-      sh '''
-        cd src
-        make
-      '''
+      steps {
+        sh '''
+          cd src
+          make -f Makefile-gfort64
+        '''
+      }
     }
   }