Compare commits
No commits in common. "981be04298c22e62635ef08e2e4e2fe573529c77" and "7add07006bc33cde4ae245d4e32b18cb1a56e13e" have entirely different histories.
981be04298
...
7add07006b
4
build.sh
4
build.sh
@ -1,7 +1,5 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
|
||||||
set -e
|
|
||||||
|
|
||||||
# info prints an informational message
|
# info prints an informational message
|
||||||
info() {
|
info() {
|
||||||
echo $'\x1b[32m[INFO]\x1b[0m' "$@"
|
echo $'\x1b[32m[INFO]\x1b[0m' "$@"
|
||||||
@ -45,7 +43,7 @@ for dir in "${!changed_directories[@]}"; do
|
|||||||
info "Entering ${dir}..."
|
info "Entering ${dir}..."
|
||||||
pushd "${dir}" >/dev/null || error "pushd failed"
|
pushd "${dir}" >/dev/null || error "pushd failed"
|
||||||
info "Executing ${build_script}..."
|
info "Executing ${build_script}..."
|
||||||
./build.sh || error "${build_script} failed"
|
# ./build.sh || error "${build_script} failed"
|
||||||
info "Finished executing ${build_script}"
|
info "Finished executing ${build_script}"
|
||||||
popd >/dev/null || error "popd failed"
|
popd >/dev/null || error "popd failed"
|
||||||
info "Exited ${dir}"
|
info "Exited ${dir}"
|
||||||
|
Loading…
Reference in New Issue
Block a user