2017-04-10 11:41:01 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
if [ $# == 0 ]; then
|
|
|
|
|
__args=-p
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
2018-01-29 19:03:06 +00:00
|
|
|
$working_tree_root/run.sh sync $__args "$@"
|
2017-04-10 11:41:01 +00:00
|
|
|
exit $?
|
