diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-10 01:03:54 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-10 01:06:22 +0200 |
commit | 3766aa921bdb4732b30e7787f2e3abc37624f291 (patch) | |
tree | 0696138b98bc7fa4b22df6e3e45500326d43b473 /guix/build/android-ndk-build-system.scm | |
parent | 26dcbb8cfea08e892494f29194682ac16a6decdf (diff) |
build-system: android-ndk: Let upstream install header files.
* guix/build/android-ndk-build-system.scm (install): Don't install header
files ourselves.
Diffstat (limited to 'guix/build/android-ndk-build-system.scm')
-rw-r--r-- | guix/build/android-ndk-build-system.scm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/guix/build/android-ndk-build-system.scm b/guix/build/android-ndk-build-system.scm index 86d0858488..3c8f726d1d 100644 --- a/guix/build/android-ndk-build-system.scm +++ b/guix/build/android-ndk-build-system.scm @@ -64,8 +64,6 @@ (apply invoke "make" "install" (string-append "prefix=" out) make-flags) - (if (file-exists? "include") - (copy-recursively "include" (string-append out "/include"))) #t)) (define* (check #:key target inputs outputs (tests? (not target)) (make-flags '()) #:allow-other-keys) |