21 lines
296 B
Bash
Executable File
21 lines
296 B
Bash
Executable File
#!/bin/sh
|
|
# Usage: ./Cleanup
|
|
|
|
fatal() {
|
|
echo "fatal: $*" >&2
|
|
exit 1
|
|
}
|
|
|
|
run() {
|
|
"$@" || fatal "could not run: $*"
|
|
}
|
|
|
|
[ -d "./tools" ] || fatal "must be run from parent directory"
|
|
|
|
run sh ./tools/format
|
|
run rm -rf .cache
|
|
run rm -f compile_commands.json
|
|
run make distclean
|
|
|
|
echo "done."
|