diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 23:16:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-08 00:47:26 +0100 |
| commit | a1d7920861a8d6c6774149eaf939eb2636942090 (patch) | |
| tree | efaff4d16b328112f28259fa260e4ec107789ce3 /gnu/machine | |
| parent | deeaa9e1993b9c4684be8879d154000d234a5c24 (diff) | |
| download | patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar patches-a1d7920861a8d6c6774149eaf939eb2636942090.tar.gz | |
machine: Remove unnecessary record self-referencing bindings.
'this-machine' and 'this-machine-ssh-configuration' were useless given
that there are no thunked fields.
* gnu/machine.scm (<machine>)[this-machine]: Remove.
* gnu/machine/ssh.scm (<machine-ssh-configuration>)
[this-machine-ssh-configuration]: Remove.
Diffstat (limited to 'gnu/machine')
| -rw-r--r-- | gnu/machine/ssh.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/machine/ssh.scm b/gnu/machine/ssh.scm index 1b88fb44cc..d6ce1253a4 100644 --- a/gnu/machine/ssh.scm +++ b/gnu/machine/ssh.scm @@ -74,7 +74,6 @@ (define-record-type* <machine-ssh-configuration> machine-ssh-configuration make-machine-ssh-configuration machine-ssh-configuration? - this-machine-ssh-configuration (host-name machine-ssh-configuration-host-name) ; string (system machine-ssh-configuration-system) ; string (build-locally? machine-ssh-configuration-build-locally? ; boolean |