mirror of
https://github.com/urbit/shrub.git
synced 2024-12-23 02:41:35 +03:00
14 lines
256 B
Bash
14 lines
256 B
Bash
|
source $setup
|
||
|
shopt -u nullglob
|
||
|
|
||
|
tar -xf $src
|
||
|
mv linux-$version linux
|
||
|
|
||
|
mkdir -p obj/staged
|
||
|
make -C linux headers_install \
|
||
|
ARCH=$linux_arch \
|
||
|
O=$(pwd)/obj \
|
||
|
INSTALL_HDR_PATH=$out
|
||
|
|
||
|
find $out '(' -name .install -o -name ..install.cmd ')' -exec rm {} +
|