From 83a59ebf6b46bf4ded72e0199a8df556d0b9429e Mon Sep 17 00:00:00 2001
From: Daniel Ledda <ledda@cip.ifi.lmu.de>
Date: Sat, 28 Aug 2021 21:45:23 +0200
Subject: [PATCH] chore: put node tool back in Jenkinsfile lol

---
 Jenkinsfile | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index c209d70..94fa715 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,19 +1,19 @@
 pipeline {
-  agent any
-  tools {
-    nodejs "node"
-  }
-  stages {      
-    stage('Build') {
-      steps {
-        sh 'npm install'
-        sh 'npm run build'
-      }
+    agent any
+    tools {
+        nodejs "node"
     }
-    stage('Deploy') {
-      steps {
-        sh 'rsync ./public /var/www/public/html/drums'
-      }
+    stages {
+        stage('Build') {
+            steps {
+                sh 'npm install'
+                sh 'npm run build'
+            }
+        }
+        stage('Deploy') {
+            steps {
+                sh 'rsync ./public /var/www/public/html/drums'
+            }
+        }
     }
-  }
 }