diff options
| author | Daniel Salzman <daniel.salzman@nic.cz> | 2020-08-05 19:10:10 +0200 |
|---|---|---|
| committer | Daniel Salzman <daniel.salzman@nic.cz> | 2020-08-06 20:54:16 +0200 |
| commit | 9aa157c0aadeb816389c54c2240aa55eae198bef (patch) | |
| tree | 934e16abf3e935b357278864ac041eef68901e6c /scripts | |
| parent | kzonesign: renamed from ksignzone (diff) | |
| download | knot-9aa157c0aadeb816389c54c2240aa55eae198bef.tar.xz knot-9aa157c0aadeb816389c54c2240aa55eae198bef.zip | |
scripts: improve update-project-files.py
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update-project-files.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/update-project-files.py b/scripts/update-project-files.py index 004fbb37b..154228228 100755 --- a/scripts/update-project-files.py +++ b/scripts/update-project-files.py @@ -10,6 +10,10 @@ SOURCES = [ "tests-fuzz/*.c", "tests-fuzz/*.h", ] +SOURCES_EXTRA = [ + "src/libknot/libknot.h" +] + OUTPUT_FILE = "Knot.files" # ---------------------------------------------------------------------------- @@ -31,7 +35,7 @@ git_root = run(["git", "rev-parse", "--show-toplevel"]).strip() os.chdir(git_root) command = ["git", "ls-files"] + SOURCES -files = run(command).splitlines() +files = run(command).splitlines() + SOURCES_EXTRA with open(OUTPUT_FILE, "w") as output: output.write("\n".join(sorted(files))) |