Index: testing/generate_gmock_mutant.py |
diff --git a/testing/generate_gmock_mutant.py b/testing/generate_gmock_mutant.py |
old mode 100644 |
new mode 100755 |
index 83fbb48aab9f55d44802fe19af234dc261c304e1..fb977d417cebcb15b10742c98f9fe7a8f962c8af |
--- a/testing/generate_gmock_mutant.py |
+++ b/testing/generate_gmock_mutant.py |
@@ -1,9 +1,10 @@ |
-#!/usr/bin/python |
-# Copyright (c) 2009 The Chromium Authors. All rights reserved. |
+#!/usr/bin/env python |
+# Copyright (c) 2011 The Chromium Authors. All rights reserved. |
# Use of this source code is governed by a BSD-style license that can be |
# found in the LICENSE file. |
import string |
+import sys |
HEADER = """\ |
// Copyright (c) 2009 The Chromium Authors. All rights reserved. |
@@ -447,6 +448,8 @@ def main(): |
for args in xrange(0, 6 + 1): |
GenerateCreateFunctor(prebound, args) |
print FOOTER |
+ return 0 |
+ |
if __name__ == "__main__": |
- main() |
+ sys.exit(main()) |