Commit Graph

3 Commits (40af8c1f54fa525a7901e407f00942cd582f736b)

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