Include pulling
This commit is contained in:
1 parent
943047a25a
commit
25f7614189
1 file changed
+6
@@ -1,9 +1,15 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
|
|
||||||
|
# Get the latest
|
||||||
|
git pull
|
||||||
|
git submodule update --init --recursive --jobs=8
|
||||||
|
|
||||||
|
# Prepare build repo
|
||||||
BUILD_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
BUILD_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
||||||
mkdir -p "$BUILD_ROOT/out"
|
mkdir -p "$BUILD_ROOT/out"
|
||||||
|
|
||||||
|
# Run the builder
|
||||||
docker run --rm \
|
docker run --rm \
|
||||||
--privileged \
|
--privileged \
|
||||||
-v "$BUILD_ROOT/out:/out" \
|
-v "$BUILD_ROOT/out:/out" \
|
||||||
|
|||||||
Reference in new issue
Block a user