#!/bin/bash | |
set -e | |
set -x | |
set -o pipefail | |
cd $(dirname "$BASH_SOURCE") | |
# Set up Pigweed's environment. | |
. ./pigweed/bootstrap.sh | |
# Set up Zephyr's environment. | |
echo "TODO(b/236263182) Add Zephyr environment setup." | |
# Run Pigweed/Zephyr tests. | |
echo "TODO(b/236263182) Run Pigweed/Zephyr tests." | |