Compare commits

..

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

View File

@ -1,7 +1,5 @@
#!/bin/bash
set -e
# info prints an informational message
info() {
echo $'\x1b[32m[INFO]\x1b[0m' "$@"
@ -45,7 +43,7 @@ for dir in "${!changed_directories[@]}"; do
info "Entering ${dir}..."
pushd "${dir}" >/dev/null || error "pushd failed"
info "Executing ${build_script}..."
./build.sh || error "${build_script} failed"
# ./build.sh || error "${build_script} failed"
info "Finished executing ${build_script}"
popd >/dev/null || error "popd failed"
info "Exited ${dir}"