16 lines
572 B
Bash
Executable File
16 lines
572 B
Bash
Executable File
#!/usr/bin/env sh
|
|
set -eu
|
|
|
|
project_directory=$(CDPATH= cd -- "$(dirname -- "$0")/.." && pwd)
|
|
test_directory=$(mktemp -d "${TMPDIR:-/tmp}/maze32-host-tests.XXXXXX")
|
|
trap 'rm -rf "$test_directory"' EXIT HUP INT TERM
|
|
|
|
cc -std=c11 -Wall -Wextra -Werror -pedantic \
|
|
-I"$project_directory/components/maze32_platform/include" \
|
|
"$project_directory/components/maze32_platform/maze32_health.c" \
|
|
"$project_directory/test/host/test_health.c" \
|
|
-o "$test_directory/test_health"
|
|
|
|
"$test_directory/test_health"
|
|
python3 "$project_directory/scripts/verify_web_assets.py"
|