diff options
author | alexv-smirnov <alex@ydb.tech> | 2023-03-28 22:25:04 +0300 |
---|---|---|
committer | alexv-smirnov <alex@ydb.tech> | 2023-03-28 22:25:04 +0300 |
commit | b8a17f9b1c166d2e9a26b99348a4c29d972caf55 (patch) | |
tree | 1a2d881f1a9452b9c6103dbf69d73da7624e98e5 /build/scripts/write_file_size.py | |
parent | 25659221f18577ea38430a8ec3349836f5626b6a (diff) | |
download | ydb-b8a17f9b1c166d2e9a26b99348a4c29d972caf55.tar.gz |
Revert ymake build from 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, 0 insertions, 15 deletions
diff --git a/build/scripts/write_file_size.py b/build/scripts/write_file_size.py deleted file mode 100644 index 880fb90644..0000000000 --- a/build/scripts/write_file_size.py +++ /dev/null @@ -1,15 +0,0 @@ -#!/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)) |