Martine S. Lenders da3fdd33d1 tools: add capability to provide make command via environment ... Not all operating systems name the GNU Make `make`. FreeBSD e.g. uses a different dialect of Make, that seems to be incompatible with GNU make. (I wasn't able to get `make` run, but `gmake` works). This allows our test scripts to be configured via the environment variable `MAKE` to point to a different make command.		2020-07-08 09:36:36 +02:00
..
build_and_test.sh	dist: split out static tests from build_and_test.sh	2020-02-26 12:36:50 +01:00
changed_files.sh	make: Ignore checking all vendor files	2018-05-29 15:21:44 -07:00
print_toolchain_versions.sh	tools: add capability to provide make command via environment	2020-07-08 09:36:36 +02:00
static_tests.sh	ci/static_tests: call uncrustify check	2020-04-28 12:35:25 +02:00