13 lines
396 B
Bash
Executable File
13 lines
396 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Type-check the library and every example with vetting on.
|
|
set -euo pipefail
|
|
cd "$(dirname "$0")/.."
|
|
echo "== pdf =="
|
|
odin check . -no-entry-point -vet-unused -vet-shadowing -vet-using-stmt -warnings-as-errors
|
|
for d in examples/*/; do
|
|
[ -f "$d/main.odin" ] || continue
|
|
echo "== $d =="
|
|
odin check "$d" -vet-unused -vet-shadowing -warnings-as-errors
|
|
done
|
|
echo "OK"
|