Removed DEBUG=1 (#121)

* Removed DEBUG=1 from basic Jenkins build/test process. * Removed the 'input' so that the Jenkinsfile finishes when necessary
2026-10-03 23:48:19 +00:00 · 2017-11-28 00:43:08 +00:00
parent f7ab5bf363
commit b6aec7acd1
1 changed files with 1 additions and 2 deletions
@@ -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') {