| Index: scripts/master/factory/drmemory_factory.py
|
| diff --git a/scripts/master/factory/drmemory_factory.py b/scripts/master/factory/drmemory_factory.py
|
| index 935cbd5cad890b7684c07eed9fadaefaeb93777f..8b14905fcd77c09fb871e23fae1bca71fdb1b3f5 100644
|
| --- a/scripts/master/factory/drmemory_factory.py
|
| +++ b/scripts/master/factory/drmemory_factory.py
|
| @@ -56,7 +56,7 @@ def BotToPlatform(bot_platform):
|
| elif bot_platform.startswith('mac'):
|
| return 'mac'
|
| else:
|
| - raise ValueError('Unknown platform %s' % platform)
|
| + raise ValueError('Unknown platform %s' % bot_platform)
|
|
|
|
|
| def OsFullName(platform):
|
|
|