From a9ecda94d4e432ed3d23352ad6ea3b4ebdf26227 Mon Sep 17 00:00:00 2001 From: s434765 Date: Sat, 27 Mar 2021 21:59:54 +0100 Subject: [PATCH] script fix --- Jenkinsfile | 2 +- get_data.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100755 => 100644 get_data.sh diff --git a/Jenkinsfile b/Jenkinsfile index a58ec5e..2fdc534 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ node { string(defaultValue: '5000', description: 'Data cutoff', name: 'CUTOFF', - trim: false), + trim: false) ]) ] ) diff --git a/get_data.sh b/get_data.sh old mode 100755 new mode 100644