From 6e51dfb5d4182b2d1c930bcb5166ea1781798d70 Mon Sep 17 00:00:00 2001
From: wuchenghui <wuchenghui@xiaomi.com>
Date: Fri, 25 May 2018 10:31:09 +0800
Subject: [PATCH] make downloading glags faster

---
 WORKSPACE | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index a1df23e6..be72e7d2 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -74,11 +74,15 @@ bind(
     actual = "@six_archive//:six",
 )
 
-git_repository(
+http_archive(
+    # v2.2.0 + fix of include path
     name = "com_github_gflags_gflags",
-    #tag    = "v2.2.0",
-    commit = "30dbc81fb5ffdc98ea9b14b1918bfe4e8779b26e",  # v2.2.0 + fix of include path
-    remote = "https://github.com/gflags/gflags.git",
+    sha256 = "16903f6bb63c00689eee3bf7fb4b8f242934f6c839ce3afc5690f71b712187f9",
+    strip_prefix = "gflags-30dbc81fb5ffdc98ea9b14b1918bfe4e8779b26e",
+    urls = [
+        "https://cnbj1.fds.api.xiaomi.com/mace/third-party/gflags/gflags-30dbc81fb5ffdc98ea9b14b1918bfe4e8779b26e.zip",
+        "https://github.com/gflags/gflags/archive/30dbc81fb5ffdc98ea9b14b1918bfe4e8779b26e.zip"
+    ],
 )
 
 bind(
-- 
GitLab