Commit Graph

3 Commits

Author SHA1 Message Date
Marco Bonelli
359ada47c7 Scripts: use POSIX subcommand invocation 2019-11-29 16:01:25 +00:00
Marco Bonelli
11ad7b5203 Check PR: optimize script 2019-11-29 16:01:25 +00:00
Marco Bonelli
581821448e Add check-pr script
This script will be run by Travis-CI (on PR builds only) to run some useful
checks. Refer to the comment at the top of the script for more information.
2019-11-29 16:01:25 +00:00