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