diff options
| -rwxr-xr-x | bin/reproducible_html_repository_comparison.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_html_repository_comparison.sh b/bin/reproducible_html_repository_comparison.sh index 5364b221..ddec1899 100755 --- a/bin/reproducible_html_repository_comparison.sh +++ b/bin/reproducible_html_repository_comparison.sh @@ -9,6 +9,8 @@ common_init "$@" # common code defining db access . /srv/jenkins/bin/reproducible_common.sh +# FIXME:temporarily overwrite default: +ARCHS="amd64 armhf" VIEW=repositories PAGE=index_${VIEW}.html |