diff options
author | tony@chromium.org <tony@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-06-16 17:15:47 +0000 |
---|---|---|
committer | tony@chromium.org <tony@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2011-06-16 17:15:47 +0000 |
commit | adbae7e226e63018f388bdb197ca5c8f36514a45 (patch) | |
tree | d55a7a0778165787b4f0ea6216dde4108818dcab /tools/coverity | |
parent | 6b8c8e75fdb1ddb0329c1309c993748aa86c6b33 (diff) | |
download | chromium_src-adbae7e226e63018f388bdb197ca5c8f36514a45.zip chromium_src-adbae7e226e63018f388bdb197ca5c8f36514a45.tar.gz chromium_src-adbae7e226e63018f388bdb197ca5c8f36514a45.tar.bz2 |
Add support for Linux kernels >=3.0-rc1 in Python related build files by:
- replacing occurences of sys.platform == 'linux2' with
sys.platform.startswith('linux')
- congregating occurences of sys.platform in ('linux[X]', 'linuxY', ...)
to sys.platform.startswith('linux')
- adding the key 'linux3' to all relevant lookup dicts
BUG=85845
TEST=Try building chromium on Linux >=3.0-r1
Review URL: http://codereview.chromium.org/7172016
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@89354 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'tools/coverity')
-rw-r--r-- | tools/coverity/coverity.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coverity/coverity.py b/tools/coverity/coverity.py index d19b622..2080e74 100644 --- a/tools/coverity/coverity.py +++ b/tools/coverity/coverity.py @@ -1,5 +1,5 @@ #!/usr/bin/python -# Copyright (c) 2010 The Chromium Authors. All rights reserved. +# 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. @@ -135,7 +135,7 @@ def main(options, args): print 'Elapsed time: %ds' % (time.time() - start_time) # Do a clean build. Remove the build output directory first. - if sys.platform == 'linux2': + if sys.platform.startswith('linux'): rm_path = os.path.join(options.source_dir,'src','out',options.target) elif sys.platform == 'win32': rm_path = os.path.join(options.source_dir,options.solution_dir, @@ -165,7 +165,7 @@ def main(options, args): print 'Elapsed time: %ds' % (time.time() - start_time) use_shell_during_make = False - if sys.platform == 'linux2': + if sys.platform.startswith('linux'): use_shell_during_make = True os.chdir('src') _RunCommand('pwd', options.dry_run, shell=True) |