diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2025-12-22 20:29:38 +0100 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2026-02-01 10:57:02 -0800 |
| commit | 2f51ef95b4159e0e0770f3d8e0789f97327b50c8 (patch) | |
| tree | 5743ac311c0f97d9037394f0fec92c1ad9efc871 /gnu/system | |
| parent | 9aa8afe1dea8e1bc9d41e505368ee7a1d3a564be (diff) | |
system: export rock-4c-plus-installation-os.
* gnu/system/install.scm (rock-4c-plus-installation-os):
Export variable.
Change-Id: Id91a9d77e34685a6bd62f2098b3b812e246cb758
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/install.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/system/install.scm b/gnu/system/install.scm index 7d9cfa8f21d..9d7d54f7845 100644 --- a/gnu/system/install.scm +++ b/gnu/system/install.scm @@ -81,6 +81,7 @@ pine64-plus-installation-os pinebook-installation-os rock64-installation-os + rock-4c-plus-installation-os rockpro64-installation-os rk3399-puma-installation-os wandboard-installation-os |