Skip to content
Snippets Groups Projects
Commit e92cef89 authored by Filippo Cremonese's avatar Filippo Cremonese
Browse files

Fixed linux-headers build script

parent 2e2494e5
No related branches found
No related tags found
No related merge requests found
......@@ -13,7 +13,8 @@ builds:
mkdir -p "$BUILD_DIR"
extract.sh --into "$BUILD_DIR" (@= source_url @)
install: |
(@= make @) -C $BUILD_DIR \
cd "$BUILD_DIR"
(@= make @) -C "$BUILD_DIR" \
ARCH=(@= arch_name @) \
INSTALL_HDR_PATH="${DESTDIR}${ORCHESTRA_ROOT}/(@= triple @)/usr" headers_install
#@ end
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment