diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-12-24 16:15:50 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2019-01-11 11:19:52 +0000 |
| commit | d5e9d1ef99688575175f2ee8e80e62fab98b5ac2 (patch) | |
| tree | 502f83d4a243e5a27f55e9b3413970162b2e34b1 /jenkins-helpers.sh | |
| parent | 661aa695ddf548f7a725766c8a81d4d4ce70a9af (diff) | |
jenkins-helpers.sh: Create directory for manifest file.
Change-Id: I2a430189c09e5f1a4bcb51ecdad32e218ab7b844
Diffstat (limited to 'jenkins-helpers.sh')
| -rw-r--r-- | jenkins-helpers.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 10d8e067..11334b08 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -716,7 +716,10 @@ EOF "%%") __manifest_filename="$2" # Resolve absolute path to manifest. - __manifest_filename="$(cd $(dirname "$__manifest_filename"); pwd)/$(basename "$__manifest_filename")" + local dir=$(dirname "$__manifest_filename") + mkdir -p "$dir" + dir=$(cd "$dir"; pwd) + __manifest_filename="$dir/$(basename "$__manifest_filename")" rm -f "$__manifest_filename" cat <<EOF | manifest_out jenkins_scripts_rev=$(git_rev_parse $(dirname "$0") HEAD) |