user
9 lines
164 B
Bash
Executable File
9 lines
164 B
Bash
Executable File
#!/usr/bin/env sh
|
|
set -eu
|
|
|
|
script_dir=$(CDPATH= cd "$(dirname "$0")" && pwd)
|
|
repo_root=$(CDPATH= cd "$script_dir/.." && pwd)
|
|
|
|
exec make -C "$repo_root" full-check
|
|
|