3 Commits (38470d8a6f9ebbfec076ca2a72fca05c265d0ae1)

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