eden-emu/Catch2
15
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-06-07 16:01:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Cleanup release scripts a bit

Browse source
This commit is contained in:
Martin Hořeňovský 2021-12-02 11:48:50 +01:00
parent 9d6fffb922
commit c097609115
No known key found for this signature in database
GPG key ID: DE48307B8B0D381A
2 changed files with 6 additions and 37 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tools/scripts/generateAmalgamatedFiles.py
View file

@ -103,9 +103,9 @@ def generate_cpp():
concatenate_file(cpp, file, False)
print('Concatenated {} cpp files'.format(len(cpp_files)))
generate_header()
generate_cpp()
if __name__ == "__main__":
generate_header()
generate_cpp()
# Notes: