Compare commits

..

No commits in common. "981be04298c22e62635ef08e2e4e2fe573529c77" and "7add07006bc33cde4ae245d4e32b18cb1a56e13e" have entirely different histories.

View File

@ -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}"