diff options
Diffstat (limited to 'bin/reproducible_html_specs.sh')
-rwxr-xr-x | bin/reproducible_html_specs.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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 |