diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2019-05-13 08:30:57 -0700 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2019-05-13 08:30:57 -0700 |
commit | cbe051a09c19f868b7682477755011ec681ce6cb (patch) | |
tree | 1772e01c85cc3f89edd2db9f2659c662b6b4ae2c /tools | |
parent | e294a16c08591b7715d48e40e82b1523f0227dfa (diff) |
Re-enabled conformance tests.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make_cmakelists.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/make_cmakelists.py b/tools/make_cmakelists.py index e320be4..36d5375 100755 --- a/tools/make_cmakelists.py +++ b/tools/make_cmakelists.py @@ -43,8 +43,8 @@ class BuildFileFunctions(object): for file in files: if os.path.isfile(file): found_files.append(file) - elif os.path.isfile("generated/" + file): - found_files.append("generated/" + file) + elif os.path.isfile("generated_for_cmake/" + file): + found_files.append("generated_for_cmake/" + file) else: print("Warning: no such file: " + file) |