summaryrefslogtreecommitdiff
path: root/build.ant
diff options
context:
space:
mode:
authorLV-426 <lv-426@taproot.org.il>2015-01-13 18:04:27 +0200
committerLV-426 <lv-426@taproot.org.il>2015-01-13 18:04:27 +0200
commitee060cdde7841ea622153bf040233679a40dafed (patch)
tree801dca664123b267014a2db0147eab698d5cf47b /build.ant
parenta71427cfcefd9c92af7117153de3a6e055981677 (diff)
add '--delete' & filters
Diffstat (limited to 'build.ant')
-rw-r--r--build.ant10
1 files changed, 7 insertions, 3 deletions
diff --git a/build.ant b/build.ant
index f073be4f..35ef9cb7 100644
--- a/build.ant
+++ b/build.ant
@@ -84,17 +84,21 @@
<local name="rsync_module" />
<property name="dstServer" value="rz_0.unige.ch" />
<property name="rsync_module" value="rhizi.net" />
+ <property name="filter_list_str"
+ value="-f '- __pycache__/' -f '- *.pyc'" />
<!-- -l: traverse bin/ -> ../src-py link -->
<rsync src="${targetDeploymentDir}/"
- extraopts="-lL"
+ extraopts="-lL --delete ${filter_list_str}"
dst="rsync://${dstServer}/${rsync_module}/" />
<parallel>
<!-- apply production patches -->
- <rsync src="res/production-patch-set/rhizi-server.production.conf"
+ <rsync extraopts="--delete"
+ src="res/production-patch-set/rhizi-server.production.conf"
dst="rsync://${dstServer}/${rsync_module}/etc/rhizi-server.conf" />
- <rsync src="res/production-patch-set/rz_config.js"
+ <rsync extraopts="--delete"
+ src="res/production-patch-set/rz_config.js"
dst="rsync://${dstServer}/${rsync_module}/static/" />
</parallel>
</target>