summaryrefslogtreecommitdiffstats
path: root/tools/valgrind/common.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/valgrind/common.py')
-rwxr-xr-xtools/valgrind/common.py15
1 files changed, 9 insertions, 6 deletions
diff --git a/tools/valgrind/common.py b/tools/valgrind/common.py
index 52af411..8b855f6 100755
--- a/tools/valgrind/common.py
+++ b/tools/valgrind/common.py
@@ -142,15 +142,18 @@ def IsWine():
os.environ.get('WINESERVER'))
-def PlatformName():
- """Return a string to be used in paths for the platform."""
+def PlatformNames():
+ """Return an array of string to be used in paths for the platform
+ (e.g. suppressions, gtest filters, ignore files etc.)
+ The first element of the array describes the 'main' platform
+ """
# This has to be before IsLinux()
if IsWine():
- return 'wine'
+ return ['wine', 'win32']
if IsLinux():
- return 'linux'
+ return ['linux']
if IsMac():
- return 'mac'
+ return ['mac']
if IsWindows():
- return 'win32'
+ return ['win32']
raise NotImplementedError('Unknown platform "%s".' % sys.platform)