src/ci/docker/dist-x86-linux/build-headers.sh

   1 #!/bin/bash
   2 # Copyright 2017 The Rust Project Developers. See the COPYRIGHT
   3 # file at the top-level directory of this distribution and at
   4 # http://rust-lang.org/COPYRIGHT.
   5 #
   6 # Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   7 # http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   8 # <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   9 # option. This file may not be copied, modified, or distributed
  10 # except according to those terms.
  11
  12 set -ex
  13 source shared.sh
  14
  15 curl https://cdn.kernel.org/pub/linux/kernel/v3.x/linux-3.2.84.tar.xz | unxz | tar x
  16
  17 cd linux-3.2.84
  18 hide_output make mrproper
  19 hide_output make INSTALL_HDR_PATH=dest headers_install
  20
  21 find dest/include \( -name .install -o -name ..install.cmd \) -delete
  22 yes | cp -fr dest/include/* /usr/include
  23
  24 cd ..
  25 rm -rf linux-3.2.84