diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-01 23:41:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-01 23:41:40 +0200 |
| commit | a13c1bf4ca0b15fa53235c2bd6aa53e4a75c7d0f (patch) | |
| tree | 8a19fb07861c685199beb9b8beb4f7d8f2a3d22a /gnu/system.scm | |
| parent | babeea3f9f46c1f1f812e590f46283e91684f327 (diff) | |
| parent | 1a3e3162acafd32ff2fb675f2f780d986692c52d (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/system.scm')
| -rw-r--r-- | gnu/system.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index c53bccf82c..f3dafd144b 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -317,8 +317,8 @@ file system labels." (_ ;the old format "/"))))) (x ;unsupported format - (warning (G_ "unrecognized boot parameters for '~a'~%") - system) + (warning (G_ "unrecognized boot parameters at '~a'~%") + (port-filename port)) #f))) (define (read-boot-parameters-file system) |