diff options
| -rwxr-xr-x | jenkinstool | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/jenkinstool b/jenkinstool index 2635b61..641fef5 100755 --- a/jenkinstool +++ b/jenkinstool @@ -239,9 +239,12 @@ end if 'debian-dist' in host: dists.add(host['debian-dist']) + script += ''' +rm -f "$base/conf/distributions" +''' for dist in dists: script += ''' -cat <<end > "$base/conf/distributions" +cat <<end >> "$base/conf/distributions" Codename: %(dist)s Suite: %(dist)s Origin: code.liw.fi |