diff --git a/Jenkinsfiles/Jenkinsfile b/Jenkinsfiles/Jenkinsfile
index 842973d0..d23ee069 100644
--- a/Jenkinsfiles/Jenkinsfile
+++ b/Jenkinsfiles/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
                 stage('Build') {
                     steps {
                         sh '''
-                            make DEBUG=1
+                            make
                            '''
                     }
                 }
@@ -47,7 +47,6 @@ pipeline {
                             make
                             ./syscalls.sh
                             '''
-                        input 'Tests complete. Do you wish to deploy?'
                     }
                 }
                 stage('Deploy') {