diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/vk_validation_stats.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/vk_validation_stats.py b/scripts/vk_validation_stats.py index 7db67397..3c930f39 100755 --- a/scripts/vk_validation_stats.py +++ b/scripts/vk_validation_stats.py @@ -186,8 +186,9 @@ class ValidationSource: qualified_paths.append(filepath) continue if len(self.generated_source_files) != len(qualified_paths): - print("Error: Unable to locate one or more of the following source files in the build, dbuild, or release directories") + print("Error: Unable to locate one or more of the following source files in the %s directories" % (", ".join(generated_source_directories))) print(self.generated_source_files) + print("Skipping documentation validation test") quit() else: self.source_files.extend(qualified_paths) |