mirror of
https://github.com/pmret/papermario.git
synced 2024-09-20 00:11:48 +02:00
8 lines
205 B
Bash
8 lines
205 B
Bash
|
#!/bin/bash
|
||
|
set -e
|
||
|
|
||
|
# This script should only be used when we need to modify the accepted amount of warnings.
|
||
|
|
||
|
rm -rf ver/*/build/src
|
||
|
ninja | grep warning | sort | uniq > tools/warnings_count/warnings.txt
|