summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-01-16 13:42:34 +0100
committerLudovic Courtès <ludo@gnu.org>2019-01-16 14:07:38 +0100
commit5f7467f046c3c1648cdf6eb81b3ec041bfc1f9bb (patch)
treeccd688d6e2ab7082b532167fdb4570f920cb3631 /gnu
parent5c215c9e4777023e0cf89511742a6055411d6de2 (diff)
downloadpatches-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.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/bootloader.scm13
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.