From b6aec7acd19bef6b8f2513024840fbb9ca24ca54 Mon Sep 17 00:00:00 2001
From: Neil Davis <neilbd10@gmail.com>
Date: Mon, 27 Nov 2017 19:43:08 -0500
Subject: [PATCH] Removed DEBUG=1 (#121)

* Removed DEBUG=1 from basic Jenkins build/test process.

* Removed the 'input' so that the Jenkinsfile finishes when necessary
---
 Jenkinsfiles/Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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') {