diff options
author | alexv-smirnov <alex@ydb.tech> | 2023-03-15 19:59:12 +0300 |
---|---|---|
committer | alexv-smirnov <alex@ydb.tech> | 2023-03-15 19:59:12 +0300 |
commit | 056bb284ccf8dd6793ec3a54ffa36c4fb2b9ad11 (patch) | |
tree | 4740980126f32e3af7937ba0ca5f83e59baa4ab0 /build/scripts/write_file_size.py | |
parent | 269126dcced1cc8b53eb4398b4a33e5142f10290 (diff) | |
download | ydb-056bb284ccf8dd6793ec3a54ffa36c4fb2b9ad11.tar.gz |
add library/cpp/actors, ymake build to ydb oss export
Diffstat (limited to 'build/scripts/write_file_size.py')
-rw-r--r-- | build/scripts/write_file_size.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build/scripts/write_file_size.py b/build/scripts/write_file_size.py new file mode 100644 index 0000000000..880fb90644 --- /dev/null +++ b/build/scripts/write_file_size.py @@ -0,0 +1,15 @@ +#!/usr/bin/env python +import sys +import os.path + +if __name__ == '__main__': + output = sys.argv[1] + size_sum = 0 + for filename in sys.argv[2:]: + if os.path.exists(filename): + size_sum += os.path.getsize(filename) + else: + sys.stderr.write('write_file_size.py: {0}: No such file or directory\n'.format(filename)) + sys.exit(1) + with open(output, 'w') as f: + f.write(str(size_sum)) |