diff options
| author | Lars Wirzenius <liw@liw.fi> | 2012-08-31 22:03:45 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2012-08-31 22:03:45 +0100 |
| commit | c0c97a4d2dac13ca2e30d6afa7a92df393d695e3 (patch) | |
| tree | 04da037121b9b2125960e03ff05c37f333bcd318 /jenkinstool | |
| parent | e9f9b3c013042afef356119f95a56c12828feca2 (diff) | |
| download | jenkinstool-c0c97a4d2dac13ca2e30d6afa7a92df393d695e3.tar.gz | |
Add all dists to reprepro
Diffstat (limited to 'jenkinstool')
| -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 |