#!/bin/bash
+# Copyright (C) The Arvados Authors. All rights reserved.
+#
+# SPDX-License-Identifier: AGPL-3.0
JENKINS_DIR=$(dirname $(readlink -e "$0"))
. "$JENKINS_DIR/run-library.sh"
debian8)
FORMAT=deb
;;
+ debian9)
+ FORMAT=deb
+ ;;
ubuntu1204)
FORMAT=deb
;;
ubuntu1404)
FORMAT=deb
;;
- centos6|centos7)
+ ubuntu1604)
+ FORMAT=deb
+ ;;
+ centos7)
FORMAT=rpm
;;
*)