diff options
| author |  Martin Wicke <martin.wicke@gmail.com> | 2017-11-10 12:26:11 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-11-10 12:26:11 -0800 |
| commit | d0a5d885d61b837018cb931a4d577289acc826fc (patch) | |
| tree | dd344e45c4eca857c02746ef50d990a9cd81ea69 /third_party/curl.BUILD | |
| parent | 047d7965d2877d7b55f4cdb0d0abdcd733f266a9 (diff) | |
Revert "Branch 175277161"
Diffstat (limited to 'third_party/curl.BUILD')
| -rw-r--r-- | third_party/curl.BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
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\"", |