diff options
Diffstat (limited to 'buildtools')
| -rw-r--r-- | buildtools/build-ubuntu-ports.py | 10 | ||||
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.install | 2 |
2 files changed, 9 insertions, 3 deletions
diff --git a/buildtools/build-ubuntu-ports.py b/buildtools/build-ubuntu-ports.py index 5c73a4a6..858ca259 100644 --- a/buildtools/build-ubuntu-ports.py +++ b/buildtools/build-ubuntu-ports.py @@ -31,7 +31,15 @@ import os version = "0." + subprocess.check_output(("svnversion", "-c")).strip().split(":")[-1] -shutil.copytree("buildtools/debian-skeleton", "debian") +if os.path.exists("debian"): + shutil.rmtree("debian") + +def ignore_dot_svn(src, names): + return [name for name in names if name == ".svn"] + +shutil.copytree("buildtools/debian-skeleton", "debian", ignore = ignore_dot_svn) + +os.chmod("debian/rules", 0755) subprocess.check_call(("dch", "--create", "--package", "rpki", "--newversion", version, "Version %s of https://subvert-rpki.hactrn.net/trunk/" % version), diff --git a/buildtools/debian-skeleton/rpki-ca.install b/buildtools/debian-skeleton/rpki-ca.install index f59e2c00..2a68ddb3 100644 --- a/buildtools/debian-skeleton/rpki-ca.install +++ b/buildtools/debian-skeleton/rpki-ca.install @@ -1,7 +1,5 @@ etc/rpki.conf.sample etc/rpki/apache.conf -etc/rpki/default_settings.py -etc/rpki/settings.py usr/lib usr/sbin usr/share |