From 721cca4b1372e222c6841ddc57bb952271d72dc7 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 31 Mar 2020 13:26:00 -0700
Subject: Use ./serval to deploy serval production server

The scheme version of this is currently useless anyway.
---
 serval | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/serval b/serval
index 74d655e..d5f1d8c 100755
--- a/serval
+++ b/serval
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
 #
-# serval wrapper script
+# deploy serval instance
 #
-exec guile -e '(@ (Com Simatime Serval) main)' -s Com/Simatime/Serval.scm "$@"
+./bild Com.Simatime.Serval && ./push Com.Simatime.Serval serval.simatime.com
-- 
cgit v1.2.3