This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
|
#!/bin/sh
|
|
|
|
set -e
|
|
set -u
|
|
# DEBUG
|
|
set -x
|
|
|
|
main() {
|
|
cd "$(dirname "${0}")"
|
|
|
|
# includes functions:
|
|
# common_start
|
|
# common_end
|
|
. ./build__common.sh
|
|
|
|
# vars used in common_start and end
|
|
target='pilot-generic'
|
|
idhubs='idhub'
|
|
|
|
common_start
|
|
|
|
common_end
|
|
}
|
|
|
|
main "${@}"
|