diff options
| -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 288c1e8801..dcef4ec09c 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) |