Index: third_party/mojo/src/mojo/public/tools/download_network_service.py |
diff --git a/third_party/mojo/src/mojo/public/tools/download_network_service.py b/third_party/mojo/src/mojo/public/tools/download_network_service.py |
index 05c28ba1664e3114c4f77292a25239f963263271..43b1172225c7b9b662b1e35f917fbe3d6189443d 100755 |
--- a/third_party/mojo/src/mojo/public/tools/download_network_service.py |
+++ b/third_party/mojo/src/mojo/public/tools/download_network_service.py |
@@ -15,6 +15,10 @@ _CURRENT_PATH = os.path.dirname(os.path.realpath(__file__)) |
sys.path.insert(0, os.path.join(_CURRENT_PATH, "pylib")) |
import gs |
+if not sys.platform.startswith("linux"): |
+ print "Not supported for your platform" |
+ sys.exit(0) |
+ |
script_dir = os.path.dirname(os.path.realpath(__file__)) |