From 0b0f70bc48bc0ae18158ee3bebf5b5fe636e9e58 Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Mon, 25 Jun 2018 13:46:32 +0200
Subject: [PATCH] CI: fix in merge from develop-ci

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
---
 ci-scripts/buildOnVM.sh           | 10 ++++++++++
 ci-scripts/destroyAllRunningVM.sh |  0
 2 files changed, 10 insertions(+)
 mode change 100644 => 100755 ci-scripts/destroyAllRunningVM.sh

diff --git a/ci-scripts/buildOnVM.sh b/ci-scripts/buildOnVM.sh
index 4886247b13..b4a1e2fb98 100755
--- a/ci-scripts/buildOnVM.sh
+++ b/ci-scripts/buildOnVM.sh
@@ -81,6 +81,16 @@ case $key in
     usage
     exit 0
     ;;
+    -jn|--job-name)
+    JOB_NAME="$2"
+    shift
+    shift
+    ;;
+    -id|--build-id)
+    BUILD_ID="$2"
+    shift
+    shift
+    ;;
     -ws|--workspace)
     JENKINS_WKSP="$2"
     shift
diff --git a/ci-scripts/destroyAllRunningVM.sh b/ci-scripts/destroyAllRunningVM.sh
old mode 100644
new mode 100755