aboutsummaryrefslogtreecommitdiff
path: root/buildtools/make-version.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2014-04-10 22:56:47 +0000
committerRob Austein <sra@hactrn.net>2014-04-10 22:56:47 +0000
commit45b95aaadc861b0e682373164fe18fa0c5ed2b2e (patch)
tree6e415c4dd6b78e84a58ae0038ab9847fb69feafc /buildtools/make-version.py
parent5e0d1807ca7b049bde262a529443924adfd903e6 (diff)
parentb7459d825cfadb9db265ed1b3bd0c10682464767 (diff)
Merge tk685 branch back to trunk. This completes the move of the rpki
libraries and rpki.POW module from the rpki-ca package to the rpki-rp package. Closes #685, closes #633. svn path=/trunk/; revision=5784
Diffstat (limited to 'buildtools/make-version.py')
-rw-r--r--buildtools/make-version.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/buildtools/make-version.py b/buildtools/make-version.py
index af513b5d..a73a89ab 100644
--- a/buildtools/make-version.py
+++ b/buildtools/make-version.py
@@ -63,7 +63,7 @@ if v == unknown:
sys.stderr.write("Warning: Could not determine software version\n")
if old is None or v != old:
+ with open("rpki/version.py", "w") as f:
+ f.write("VERSION = \"%s\"\n" % v)
with open("VERSION", "w") as f:
f.write(v + "\n")
- with open("rpkid/rpki/version.py", "w") as f:
- f.write("VERSION = \"%s\"\n" % v)