put deb and rpm build hosts in separate file

diff --git a/debian_hosts b/debian_hosts
new file mode 100644 (file)
index 0000000..4754764
--- /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 b8e95011dacb313402f965a2373fb10874e0d658..2015c8d5851bda225367302464df2b85ff5fc6fb 100755 (executable)
--- 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 (file)
index 0000000..e9b1e88
--- /dev/null
+++ b/rpm_hosts
@@ -0,0 +1,2 @@
+gitbuilder-centos6-amd64.front.sepia.ceph.com
+gitbuilder-fedora17-amd64.front.sepia.ceph.com