37 lines
790 B
Bash
Executable File
37 lines
790 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
set -u
|
|
# DEBUG
|
|
set -x
|
|
|
|
main() {
|
|
cd "$(dirname "${0}")"
|
|
|
|
# includes functions:
|
|
# common_start
|
|
# common_end
|
|
. ./build__common.sh
|
|
|
|
pilot='pilot-pangea'
|
|
|
|
common_start
|
|
|
|
# detect if is new
|
|
if [ ! -f "./${idhub1}" ] && [ ! -f "./${idhub2}" ]; then
|
|
echo 'Detected new deployment, recreating git repos idhub1 and idhub2'
|
|
cp -rp IdHub "${idhub1}"
|
|
rm -f "${idhub1}/db.sqlite3"
|
|
cp -rp IdHub "${idhub2}"
|
|
rm -f "${idhub2}/db.sqlite3"
|
|
fi
|
|
|
|
# common_end builds idhub
|
|
# these are extra builds specific for this pilot
|
|
make musician_build
|
|
make orchestra_build
|
|
common_end
|
|
}
|
|
|
|
main "${@}"
|