diff --git a/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt b/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt index 676ba75..1bd48a4 100644 --- a/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt +++ b/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt @@ -14,8 +14,8 @@ distro-build/url-options distro-build/display-time distro-build/readme - "email.rkt" - "vbox.rkt") + remote-shell/vbox + "email.rkt") ;; See "config.rkt" for an overview. diff --git a/pkgs/distro-build-pkgs/distro-build-server/info.rkt b/pkgs/distro-build-pkgs/distro-build-server/info.rkt index f2bb39a..8acdb56 100644 --- a/pkgs/distro-build-pkgs/distro-build-server/info.rkt +++ b/pkgs/distro-build-pkgs/distro-build-server/info.rkt @@ -8,7 +8,8 @@ "ds-store-lib" "net-lib" "scribble-html-lib" - "plt-web-lib")) + "plt-web-lib" + "remote-shell-lib")) (define build-deps '("at-exp-lib")) (define pkg-desc "server-side part of \"distro-build\"")