view scripts/release-luan.sh @ 724:4f8e30a3ffd0

add Hosting.change_domain()
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 07 Jun 2016 16:00:41 -0600
parents 72a2daf88e12
children 4f880e2663a2
line wrap: on
line source

set -e

cd `dirname $0`/..
LUAN_HOME=`pwd`

rm -f ~/Dropbox/luan/*

# assume already built
cp $LUAN_HOME/build/luan-*.tar ~/Dropbox/luan

hg tag `scripts/version.sh`