More debugging.
This commit is contained in:
parent
fd4691cbc0
commit
4a74bf13f6
|
@ -1,4 +1,4 @@
|
||||||
#!/bin/bash -x
|
#!/bin/bash
|
||||||
# Script to setup the assets clone of the repository using GIT_ASSETS_BRANCH and
|
# Script to setup the assets clone of the repository using GIT_ASSETS_BRANCH and
|
||||||
# GIT_API_KEY.
|
# GIT_API_KEY.
|
||||||
|
|
||||||
|
|
|
@ -3,7 +3,9 @@
|
||||||
# output by the exporter and then build lists of added/removed metrics.
|
# output by the exporter and then build lists of added/removed metrics.
|
||||||
|
|
||||||
old_src="$1"
|
old_src="$1"
|
||||||
[ ! -e "$old_src" ] && exit 1
|
if [ ! -d "$old_src" ] ; then
|
||||||
|
mkdir -p "$old_src"
|
||||||
|
fi
|
||||||
|
|
||||||
function generate_add_removed() {
|
function generate_add_removed() {
|
||||||
type="$1"
|
type="$1"
|
||||||
|
|
Loading…
Reference in New Issue