-
Stefan Tauner authored
- really abort on errors - add .gitignore for generated files - print path to relevant log files on errors - do not print standard output of tools to focus on important stuff - remove a leftover config file
b06318ef
- really abort on errors - add .gitignore for generated files - print path to relevant log files on errors - do not print standard output of tools to focus on important stuff - remove a leftover config file