mirror of https://github.com/pmret/papermario.git
* Don't uniq warnings and write initial build to file * Don't build twice, turn ccache off by default |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| check_new_warnings.sh | ||
| compare_warnings.py | ||
| update_current_warnings.sh | ||