diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-16 13:42:34 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-16 14:07:38 +0100 |
| commit | 5f7467f046c3c1648cdf6eb81b3ec041bfc1f9bb (patch) | |
| tree | ccd688d6e2ab7082b532167fdb4570f920cb3631 | |
| parent | 5c215c9e4777023e0cf89511742a6055411d6de2 (diff) | |
| download | patches-5f7467f046c3c1648cdf6eb81b3ec041bfc1f9bb.tar patches-5f7467f046c3c1648cdf6eb81b3ec041bfc1f9bb.tar.gz | |
bootloader: Remove deprecated 'device' field.
The 'device' field had been deprecated in commit
045ebb3e58d74c75f39ce47380045d3cd00359c3 (August 2017).
* gnu/bootloader.scm (<bootloader-configuration>)[device]: Remove.
[target]: Change getter to 'bootstrap-configuration-target'.
(bootstrap-configuration-target): Remove.
| -rw-r--r-- | gnu/bootloader.scm | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/gnu/bootloader.scm b/gnu/bootloader.scm index 4f2c71cb5a..a32bf5ec67 100644 --- a/gnu/bootloader.scm +++ b/gnu/bootloader.scm @@ -105,9 +105,7 @@ bootloader-configuration make-bootloader-configuration bootloader-configuration? (bootloader bootloader-configuration-bootloader) ; <bootloader> - (device bootloader-configuration-device ; string - (default #f)) - (target %bootloader-configuration-target ; string + (target bootloader-configuration-target ; string (default #f)) (menu-entries bootloader-configuration-menu-entries ; list of <boot-parameters> (default '())) @@ -128,15 +126,6 @@ (additional-configuration bootloader-configuration-additional-configuration ; record (default #f))) -(define (bootloader-configuration-target config) - (or (%bootloader-configuration-target config) - (let ((device (bootloader-configuration-device config))) - (when device - (warning - (G_ "The 'device' field of bootloader configurations is deprecated.~%")) - (warning (G_ "Use 'target' instead.~%"))) - device))) - ;;; ;;; Bootloaders. |