diff options
Diffstat (limited to 'buildtools/rpki-pbuilder.py')
| -rw-r--r-- | buildtools/rpki-pbuilder.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildtools/rpki-pbuilder.py b/buildtools/rpki-pbuilder.py index 5683d95e..8dfcb9de 100644 --- a/buildtools/rpki-pbuilder.py +++ b/buildtools/rpki-pbuilder.py @@ -70,6 +70,7 @@ if not os.path.exists(dsc): if fn != "trunk": os.unlink(os.path.join("..", fn)) run("rm", "-rf", "debian") + run("python", "buildtools/make-version.py") run("python", "buildtools/build-ubuntu-ports.py") run("dpkg-buildpackage", "-S", "-us", "-uc", "-rfakeroot") |