diff options
author | Mathieu Othacehe <othacehe@gnu.org> | 2022-05-22 16:06:07 +0200 |
---|---|---|
committer | Mathieu Othacehe <othacehe@gnu.org> | 2022-05-22 16:06:07 +0200 |
commit | 08756c831cda0dc8cc8a58221378bcf76a4ceff4 (patch) | |
tree | 7e5f0390d28e488f40296ec9a4f1afb7261d75d4 /guix | |
parent | 0c4d3847a4e6d0a503c6d824d4b10f2845458c1e (diff) |
self: Ship platform files.
* guix/self.scm (compiled-guix): Ship them.
Diffstat (limited to 'guix')
-rw-r--r-- | guix/self.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/self.scm b/guix/self.scm index 943bb0b498..9fff0ade04 100644 --- a/guix/self.scm +++ b/guix/self.scm @@ -887,7 +887,8 @@ itself." ,@(scheme-modules* source "gnu/bootloader") ,@(scheme-modules* source "gnu/system") ,@(scheme-modules* source "gnu/services") - ,@(scheme-modules* source "gnu/machine")) + ,@(scheme-modules* source "gnu/machine") + ,@(scheme-modules* source "gnu/platforms/")) (list *core-package-modules* *package-modules* *extra-modules* *core-modules*) #:extensions dependencies |