diff update.sh @ 1664:35e412677512

add update.sh
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 05 May 2022 18:41:52 -0600
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/update.sh	Thu May 05 18:41:52 2022 -0600
@@ -0,0 +1,4 @@
+set -e
+cd `dirname $0`
+hg pull -u
+scripts/build-luan.sh