From 38e6c5bc11aa3202a59dffe4bbd820deb613404b Mon Sep 17 00:00:00 2001 From: Sage Weil Date: Tue, 25 Sep 2012 08:58:35 -0700 Subject: [PATCH] put deb and rpm build hosts in separate file --- debian_hosts | 2 ++ do_release.sh | 4 ++-- rpm_hosts | 2 ++ 3 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 debian_hosts create mode 100644 rpm_hosts diff --git a/debian_hosts b/debian_hosts new file mode 100644 index 000000000..475476452 --- /dev/null +++ b/debian_hosts @@ -0,0 +1,2 @@ +localhost +192.168.106.235 diff --git a/do_release.sh b/do_release.sh index b8e95011d..2015c8d58 100755 --- a/do_release.sh +++ b/do_release.sh @@ -16,8 +16,8 @@ dists="$*" [ -z "$releasedir" ] && usage && exit 1 -deb_hosts="localhost 192.168.106.235" -rpm_hosts="gitbuilder-centos6-amd64.front.sepia.ceph.com" +deb_hosts=`cat $bindir/deb_hosts` +rpm_hosts=`cat $bindir/rpm_hosts` versionfile=`mktemp` cleanup() { diff --git a/rpm_hosts b/rpm_hosts new file mode 100644 index 000000000..e9b1e88c1 --- /dev/null +++ b/rpm_hosts @@ -0,0 +1,2 @@ +gitbuilder-centos6-amd64.front.sepia.ceph.com +gitbuilder-fedora17-amd64.front.sepia.ceph.com -- 2.47.3