summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-03-31 13:26:00 -0700
committerBen Sima <ben@bsima.me>2020-03-31 13:29:46 -0700
commit721cca4b1372e222c6841ddc57bb952271d72dc7 (patch)
treefcb6d81e7b5a7da87f7685ff93cf6c2633d346f7
parent2d2481ac68afb824342eaef301ab471d2128c289 (diff)
Use ./serval to deploy serval production server
The scheme version of this is currently useless anyway.
-rwxr-xr-xserval4
1 files 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