Add --ci flag to init call
This commit is contained in:
parent
a8219715a9
commit
4735de721d
@ -152,7 +152,7 @@ run_init() {
|
|||||||
local ACTIVATE_TOOLCHAIN="source /opt/toolchain-${toolchain_version}/activate"
|
local ACTIVATE_TOOLCHAIN="source /opt/toolchain-${toolchain_version}/activate"
|
||||||
echo "Running init script for $os on $build_container"
|
echo "Running init script for $os on $build_container"
|
||||||
docker exec "$build_container" bash -c "cd /memgraph && git config --global --add safe.directory '*'"
|
docker exec "$build_container" bash -c "cd /memgraph && git config --global --add safe.directory '*'"
|
||||||
docker exec "$build_container" bash -c "cd /memgraph && $ACTIVATE_TOOLCHAIN && ./init"
|
docker exec "$build_container" bash -c "cd /memgraph && $ACTIVATE_TOOLCHAIN && ./init --ci"
|
||||||
}
|
}
|
||||||
|
|
||||||
build_memgraph () {
|
build_memgraph () {
|
||||||
@ -219,7 +219,7 @@ build_memgraph () {
|
|||||||
# Fix issue with git marking directory as not safe
|
# Fix issue with git marking directory as not safe
|
||||||
docker exec "$build_container" bash -c "cd /memgraph && git config --global --add safe.directory '*'"
|
docker exec "$build_container" bash -c "cd /memgraph && git config --global --add safe.directory '*'"
|
||||||
if [[ "$init" == "true" ]]; then
|
if [[ "$init" == "true" ]]; then
|
||||||
docker exec "$build_container" bash -c "cd /memgraph && $ACTIVATE_TOOLCHAIN && ./init"
|
docker exec "$build_container" bash -c "cd /memgraph && $ACTIVATE_TOOLCHAIN && ./init --ci"
|
||||||
fi
|
fi
|
||||||
docker exec "$build_container" bash -c "cd $container_build_dir && rm -rf ./*"
|
docker exec "$build_container" bash -c "cd $container_build_dir && rm -rf ./*"
|
||||||
# Fix cmake failing locally if remote is clone via ssh
|
# Fix cmake failing locally if remote is clone via ssh
|
||||||
|
Loading…
Reference in New Issue
Block a user