diff options
Diffstat (limited to 'bin/docs-create-example-outputs.py')
| -rw-r--r-- | bin/docs-create-example-outputs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/docs-create-example-outputs.py b/bin/docs-create-example-outputs.py index 64dcf2e..73aa31a 100644 --- a/bin/docs-create-example-outputs.py +++ b/bin/docs-create-example-outputs.py @@ -15,6 +15,6 @@ if __name__ == "__main__": print("OK") else: print("Not all example names and suffixes are unique! Please correct the errors listed above and try again.") - sys.exit(0) - + sys.exit(1) + SConsExamples.createAllExampleOutputs(os.path.join('doc','user')) |