From c6d603f02e1a98f871912cda6716cdcbed6b439e Mon Sep 17 00:00:00 2001
From: Yifei Feng <yifeif@google.com>
Date: Tue, 21 Nov 2017 23:32:43 -0800
Subject: Merge changes from github.

PiperOrigin-RevId: 176615107
---
 third_party/curl.BUILD | 1 -
 1 file changed, 1 deletion(-)

(limited to 'third_party/curl.BUILD')

diff --git a/third_party/curl.BUILD b/third_party/curl.BUILD
index 882967df1c..805a30d262 100644
--- a/third_party/curl.BUILD
+++ b/third_party/curl.BUILD
@@ -477,7 +477,6 @@ genrule(
         "#  define HAVE_RAND_EGD 1",
         "#  define HAVE_RAND_STATUS 1",
         "#  define HAVE_SSL_GET_SHUTDOWN 1",
-        "#  define HAVE_STROPTS_H 1",
         "#  define HAVE_TERMIOS_H 1",
         "#  define OS \"x86_64-pc-linux-gnu\"",
         "#  define RANDOM_FILE \"/dev/urandom\"",
-- 
cgit v1.2.3