12 lines
245 B
Bash
Executable file
12 lines
245 B
Bash
Executable file
#!/bin/sh
|
|
set -eu
|
|
if [ ! -e "$(dirname "$0")/ci/sub/.git" ]; then
|
|
set -x
|
|
git submodule update --init
|
|
set +x
|
|
fi
|
|
. "$(dirname "$0")/ci/sub/lib.sh"
|
|
PATH="$(cd -- "$(dirname "$0")" && pwd)/ci/sub/bin:$PATH"
|
|
cd -- "$(dirname "$0")"
|
|
|
|
_make "$@"
|