Merge branch 'devel' into araq-misc

This commit is contained in:
Araq 2018-08-13 20:16:18 +02:00
commit a0cde8cee6
13 changed files with 90 additions and 20 deletions

View file

@ -57,7 +57,8 @@ Commands for core developers:
zip builds the installation zip package
xz builds the installation tar.xz package
testinstall test tar.xz package; Unix only!
tests [options] run the testsuite
tests [options] run the testsuite (run a subset of tests by
specifying a category, e.g. `tests cat async`)
temp options creates a temporary compiler for testing
winrelease creates a Windows release
pushcsource push generated C sources to its repo