mirror of
https://github.com/zeldaret/mm.git
synced 2026-06-17 14:56:42 -04:00
Anghelo Carvajal
25afa196f6
* warning count * update warnings * Update warnings * Use `tee` * Suggestions of zbanks * I hope this will fix it
12 lines
304 B
Bash
Executable File
12 lines
304 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
# This script should only be used when we need to modify the accepted amount of warnings.
|
|
|
|
DIR="$(dirname "$(readlink -f "$0")")"
|
|
cd "$DIR/../.."
|
|
|
|
make distclean
|
|
make setup 2> tools/warnings_count/warnings_setup_current.txt
|
|
make all 2> tools/warnings_count/warnings_build_current.txt
|