diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-08-07 04:10:27 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-08-07 10:22:26 +0200 |
| commit | 7105487875197f7e493b5a9cdce0746542ba4568 (patch) | |
| tree | ebfa2752598c8b1f58b874a081ae0bf5fe615761 | |
| parent | 0c46e1b510bfca6b0a46eb3210da54431c0b6615 (diff) | |
gnu: android: Export android-platform-system-core.
* gnu/packages/android.scm (android-platform-system-core): Export it.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
| -rw-r--r-- | gnu/packages/android.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/android.scm b/gnu/packages/android.scm index 8a094d0827..544a65d0af 100644 --- a/gnu/packages/android.scm +++ b/gnu/packages/android.scm @@ -128,7 +128,7 @@ use their packages mostly unmodified in our Android NDK build system.") ;; The version tag is consistent between all repositories. (define-public (android-platform-version) "7.1.2_r36") -(define (android-platform-system-core version) +(define-public (android-platform-system-core version) (origin (method git-fetch) (uri (git-reference |