diff options
| -rwxr-xr-x | bin/reproducible_html_howto.sh | 1 | ||||
| -rwxr-xr-x | bin/reproducible_html_specs.sh | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/bin/reproducible_html_howto.sh b/bin/reproducible_html_howto.sh index e850e1c9..e143ca64 100755 --- a/bin/reproducible_html_howto.sh +++ b/bin/reproducible_html_howto.sh @@ -9,7 +9,6 @@ common_init "$@" . /srv/jenkins/bin/reproducible_common.sh -set -e VERSION=$(git log -1 --pretty='%h') diff --git a/bin/reproducible_html_specs.sh b/bin/reproducible_html_specs.sh index 0a8ff888..dafd06f3 100755 --- a/bin/reproducible_html_specs.sh +++ b/bin/reproducible_html_specs.sh @@ -10,7 +10,6 @@ common_init "$@" . /srv/jenkins/bin/reproducible_common.sh -set -e VERSION=$(git log -1 --pretty='%h') SPEC=$1 |