Merge pull request #2 from tyeth/tweak-timeout

Tweak-timeout

Author: brentru

Diff for: build_platform.py

@@ -24,6 +24,7 @@
 if "--build_timeout" in sys.argv:
     BUILD_TIMEOUT = True
     popen_timeout = sys.argv[sys.argv.index("--build_timeout") + 1]
+    sys.argv.pop(sys.argv.index("--build_timeout") + 1)
     sys.argv.remove("--build_timeout")