| # Validate commit message |
| git log -1 --pretty=%B | grep -E '^Bug:|^Issue:|^Regres:' |
| echo "error: Git commit message must have a Bug: line." |
| # Display commands being run. |
| # Download all submodules |
| git submodule update --init |
| mkdir -p build && cd build |
| if [[ -z "${REACTOR_BACKEND}" ]]; then |
| cmake .. "-DREACTOR_BACKEND=${REACTOR_BACKEND}" "-DREACTOR_VERIFY_LLVM_IR=1" |
| cd .. # Some tests must be run from project root |
| if [ "${REACTOR_BACKEND}" != "Subzero" ]; then |
| build/vk-unittests # Currently vulkan does not work with Subzero. |