7 sudo apt-get -qq update
10 sudo apt-get -qq --no-install-suggests --no-install-recommends \
16 git clone --depth=1 https://github.com/"$KHEADERS" kernel
17 sudo make -C kernel headers_install INSTALL_HDR_PATH=/opt/kernel
19 KHEADERS_INC=/opt/kernel/include
22 KHEADERS_INC=/usr/include
28 apt_get_install gcc-multilib
31 sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
32 apt_get_install gcc-multilib "$CC"-multilib
35 apt_get_install gcc-multilib "$CC"
38 apt_get_install gcc-multilib
39 git clone --depth=1 https://github.com/strace/musl
49 build='--build=i686-pc-linux-gnu --target=i686-pc-linux-gnu'
52 ./configure --prefix=/opt/musl --exec-prefix=/usr ${build}
68 pip install --user codecov
71 apt_get_install valgrind