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): |