diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/machine.scm | 5 | ||||
| -rw-r--r-- | gnu/machine/ssh.scm | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/gnu/machine.scm b/gnu/machine.scm index b342fe2144..bdd92d9592 100644 --- a/gnu/machine.scm +++ b/gnu/machine.scm @@ -33,7 +33,6 @@ machine machine? - this-machine machine-operating-system machine-environment @@ -89,10 +88,8 @@ ;;; Declarations for machines in a deployment. ;;; -(define-record-type* <machine> machine - make-machine +(define-record-type* <machine> machine make-machine machine? - this-machine (operating-system %machine-operating-system); <operating-system> (environment machine-environment) ; symbol (configuration machine-configuration ; configuration object 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 |