diff options
| author | Jack Lloyd <[email protected]> | 2018-04-04 15:07:29 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-04-04 15:07:29 -0400 |
| commit | 4216b96b2eb68ca9371e0452b0111e033f64f2d2 (patch) | |
| tree | 59161a3c58dfec52afcc8115ef35d16e77fb1d02 /src/scripts | |
| parent | 99c5424243f54153fdb6c27126b5c9bec757d592 (diff) | |
Move version.txt to src/build-data
It is not useful for end-users so don't put it in the top level.
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/dist.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index 2586af560..d12ce8d05 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -357,7 +357,8 @@ def main(args=None): version_file = None - for possible_version_file in ['version.txt', 'botan_version.py']: + # location of file with version information has moved over time + for possible_version_file in ['src/build-data/version.txt', 'version.txt', 'botan_version.py']: full_path = os.path.join(output_basename, possible_version_file) if os.access(full_path, os.R_OK): version_file = full_path |